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