Jenkins build is back to normal : ttcn3-ns-test-sns #890