Changed the names of some SSH keys in ssh config