ppk refers to Putty's custom format. You should use the key format used by
OpenSSH. there are tools to convert between these two formats.
Alternatively, you can use the ssh-keygen tool to create a fresh pair of
keys