Jenkins build is still unstable: ttcn3-cbc-test #641