Jenkins build is unstable: ttcn3-stp-test-asan #1