Jenkins build is back to normal : ttcn3-smlc-test #837