fix(install): assume port 443 means HTTPS is in use

On some servers, it's possible that `$_SERVER['HTTPS']`
is not set even though HTTPS is being used.

Fixes #6190