Fix .ssh known_hosts.  Maybe?