Small fixes in deploy-dev.sh