Use the right format for ssh public keys