Jenkins build is back to stable : ttcn3-ns-test #913