Build failed in Jenkins: ttcn3-bsc-test-vamos-latest #222