How to convert .ppk key to OpenSSH key under Linux?