Another jenkins/test-harness tweak