Jenkins build is still unstable: ttcn3-pcu-test-sns #1402