Do not append a port number to hostname if not asked by user

Fixes bogus default of port 80 when protocol is https