Jenkins build became unstable: ttcn3-bsc-test-asan #176