HTTP_HOST should have the port number as well as the host name