Fix .jenkins.sh