Fix .jenkins.sh (bis)