More tweaks to deploy.sh