shell: ssh-keygen can remove known_hosts, duh.