Build failed in Jenkins: ttcn3-gbproxy-test-fr-latest #200