Fix jenkins-test-coverage call.