dont' use the system known hosts -- ours is huge, and it makes logins take forever (like 5 seconds)