Another tweak to awsdeploy.sh