Correct the script for Jenkins
Merge branch 'jenkins_scripts'