Fix bug where some servers could not be contacted due to known_hosts problem