Trying different incantations of ssh-keygen for generation of known hosts file