Jenkins build became unstable: ttcn3-gbproxy-test-fr #1016

[jenkins]

See 
<https://jenkins.osmocom.org/jenkins/job/ttcn3-gbproxy-test-fr/1016/display/redirect>