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