Make SSL port number optional in nginx default config