Jenkins build is back to normal : ttcn3-stp-test-asan #226