--- a/src/core/rng-stream.h	Wed Jan 28 13:35:47 2009 -0500
+++ b/src/core/rng-stream.h	Wed Jan 28 15:04:28 2009 -0500
@@ -67,6 +67,7 @@
   double U01d ();
   static uint32_t EnsureGlobalInitialized (void);
 private: //static data
+  static double packageSeed[6];
   static double nextSeed[6];
 };