Jenkins build is still unstable: TTCN3-centos-bsc-test-latest #651