Converting a Putty Private Key (.ppk) to Openssh Format on a Mac