Build failed in Jenkins: TTCN3-centos-smlc-test-latest #853