ssh: Handle the case of known_hosts having a bad entry