get the right hostname for cleaning the known_hosts file