Jenkins build became unstable: ttcn3-hnodeb-test-latest #623