Minor bug fixes: Setting SERVER_NAME and also non-SSL nginx.conf does
not overwrite the SSL generated one, but rather appends.