ssh known_hosts: better than doubled speed