Random jenkins-related scripts