add a jenkins-specific script to teardown