#
#
# patch "cmd_key_cert.cc"
#  from [488ff4175a9c2b0cf85ed15fdf16071e60c60f44]
#    to [56b20814b014259062bac3ec7eb7ce18cecba675]
#
============================================================
--- cmd_key_cert.cc	488ff4175a9c2b0cf85ed15fdf16071e60c60f44
+++ cmd_key_cert.cc	56b20814b014259062bac3ec7eb7ce18cecba675
@@ -150,7 +150,8 @@ CMD(ssh_agent_export, N_("key and cert")
     cout << decoded_key;
   else
     {
-      ofstream fout(system_path(idx(args, 0)).as_external().c_str(), ofstream::out);
+      char const * external_path = system_path(idx(args, 0)).as_external().c_str();
+      ofstream fout(external_path, ofstream::out);
       fout << decoded_key;
     }
 }