Don't include the port for HTTPS in WT_SERVER_NAME when it's the default of 443