Jenkins build became unstable: TTCN3-centos-bsc-test-sccplite #1252