* ssh_pub_key_export (usage): fix