diff --git a/rand.c b/rand.c
index cf5dec110..7c80c13af 100644
--- a/rand.c
+++ b/rand.c
@@ -33,6 +33,12 @@ void init_rand(void)
 	f = fopen("/dev/urandom", "r");
 }
 
+void finalize_rand(void)
+{
+    fclose(f);
+    f = NULL;
+}
+
 uint32_t random32(void)
 {
 	uint32_t r;
diff --git a/rand.h b/rand.h
index fb80ea43b..cd281aa53 100644
--- a/rand.h
+++ b/rand.h
@@ -27,6 +27,7 @@
 #include <stdint.h>
 
 void init_rand(void);
+void finalize_rand(void);
 uint32_t random32(void);
 void random_buffer(uint8_t *buf, size_t len);