Fix #362: deploy.sh