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