Jenkins build is unstable: TTCN3-centos-cbc-test #652