1 files changed, 7 insertions, 4 deletions

diff --git a/src/util/gnunet-ecc.c b/src/util/gnunet-ecc.c
index f966763a8..ad6b68a95 100644
--- a/src/util/gnunet-ecc.c
+++ b/src/util/gnunet-ecc.c
@@ -233,14 +233,17 @@ main (int argc, char *const *argv)
       0, &GNUNET_GETOPT_set_one, &weak_random },
     GNUNET_GETOPT_OPTION_END
   };
+  int ret;
 
   if (GNUNET_OK != GNUNET_STRINGS_get_utf8_args (argc, argv, &argc, &argv))
     return 2;
 
-  return (GNUNET_OK ==
-          GNUNET_PROGRAM_run (argc, argv, "gnunet-ecc [OPTIONS] keyfile",
-                              gettext_noop ("Manipulate GNUnet private ECC key files"),
-                              options, &run, NULL)) ? 0 : 1;
+  ret = (GNUNET_OK ==
+         GNUNET_PROGRAM_run (argc, argv, "gnunet-ecc [OPTIONS] keyfile",
+                             gettext_noop ("Manipulate GNUnet private ECC key files"),
+                             options, &run, NULL)) ? 0 : 1;
+  GNUNET_free ((void*) argv);
+  return ret;
 }
 
 /* end of gnunet-ecc.c */