fix ssh public keys, add new server to ssh config