Build failed in Jenkins: TTCN3-centos-gbproxy-test #959