default-ssh-server-options.patch
