Jenkins build is still unstable: TTCN3-centos-msc-test #927