fixes to enable reGNUal

src/main.c

@@ -428,6 +428,8 @@ main (int argc, char *argv[])
 #endif
     }
 
+  random_fini ();
+
   set_led (1);
   usb_lld_shutdown ();
   /* Disable SysTick */

src/random.c

@@ -1,7 +1,7 @@
 /*
  * random.c -- get random bytes
  *
- * Copyright (C) 2010, 2011, 2012 Free Software Initiative of Japan
+ * Copyright (C) 2010, 2011, 2012, 2013 Free Software Initiative of Japan
  * Author: NIIBE Yutaka <gniibe@fsij.org>
  *
  * This file is a part of Gnuk, a GnuPG USB Token implementation.
@@ -40,6 +40,12 @@ random_init (void)
     (void)neug_get (NEUG_KICK_FILLING);
 }
 
+void
+random_fini (void)
+{
+  neug_fini ();
+}
+
 /*
  * Return pointer to random 32-byte
  */

src/random.h

@@ -1,4 +1,5 @@
 void random_init (void);
+void random_fini (void);
 
 /* 32-byte random bytes */
 const uint8_t *random_bytes_get (void);