Jenkins build is still unstable: ttcn3-msc-test #1862