Some tweaks to the ssh_known_hosts handling.