Jenkins build is back to stable : ttcn3-gbproxy-test-asan #73