Build failed in Jenkins: TTCN3-centos-ggsn-test-latest #802