Build failed in Jenkins: TTCN3-centos-pcu-test #1234