append port to $_SERVER['HTTP_HOST']
don't set $_SERVER['REQUEST_URL']

not used by WordPress and probably bogus