Jenkins build became unstable: TTCN3-centos-gbproxy-test #1039