Build failed in Jenkins: ttcn3-pcu-test-sns-asan #7