Build failed in Jenkins: ttcn3-bsc-test-vamos-asan #81