proposed patch for issue #660, to properly specify host and port number in known_host...