Don't save SSH server keys for ssh-tor