issue #111: non-default ports should always be included in the HTTP "Host" header, so should not be added again when building urls.