.ssh/config: Put id_rsa first so that it does not complain: