Update .jenkins.sh (bis)