small tweak to autodeploy.sh