Fix for Make proxy_setup.sh more tolerant of variou hostname choices (FQDN versus short)