[Bug 632713] SSH default now obfuscate (crypt) hostname is .ssh/know_hosts missing tools