First try to fix the Jenkins problem.