Fix jenkins.