Jenkins build is still unstable: TTCN3-centos-bts-test #951