Remove temporary hacks from bin/jenkins.sh