Jenkins build is still unstable: ttcn3-msc-test-latest #1527