Some jenkins related scripts, etc.