Fixed script to use /tmp/jenkins as workspace