@@ -241,10 +241,14 @@
 	gettimeofday(&t, NULL);
 	srand((unsigned)(t.tv_sec ^ t.tv_usec));
 	of_hash_seed = (uint32_t)((rand() << 16) | (rand() & 0xFFFF));
 #endif
 }
+
++ (void)unload
+{
+}
 
 + (void)initialize
 {
 }