don't bind hosts in known_hosts to particular ports, since it causes all kinds of confusion. originally, i added this to prevent modification of ~/.ssh/known_hosts, but now we do this by just setting UserKnownHosts to /dev/null.