Build failed in Jenkins: ttcn3-sip-test-asan #145