Use sane defaults when global ssh_options has not been set
If an explicit user has been specified in the server definition, use it.