Build failed in Jenkins: ttcn3-pcu-test-sns #1674