Jenkins build became unstable: ttcn3-hnbgw-test-asan #147