deal with hashed known hosts files!