One more tweak to jenkins-geonode-aws.sh