fix default port for https requests to be 443 instead of 80 when HTTP_X_FORWARDED_PROTO header is not set
(amends fbeef9679244e06879ecf59b57c2d0c4923c7424)