Build failed in Jenkins: ttcn3-stp-test-asan #225