Fix jenkins.py