Fix .jenkins.sh (ter)