--- a/src/core/rng-stream.cc	Wed Jan 28 13:35:47 2009 -0500
+++ b/src/core/rng-stream.cc	Wed Jan 28 15:04:28 2009 -0500
@@ -367,6 +367,10 @@
 {
   12345.0, 12345.0, 12345.0, 12345.0, 12345.0, 12345.0
 };
+double RngStream::packageSeed[6] =
+{
+  12345.0, 12345.0, 12345.0, 12345.0, 12345.0, 12345.0
+};
 
 //-------------------------------------------------------------------------
 // constructor
@@ -466,7 +470,7 @@
       return false;
     }
   for (int i = 0; i < 6; ++i)
-    nextSeed[i] = seed[i];
+    packageSeed[i] = nextSeed[i] = seed[i];
   return true;
 }
 bool 
@@ -481,7 +485,7 @@
   EnsureGlobalInitialized ();
   for (int i = 0; i < 6; i++)
     {
-      seed[i] = nextSeed[i];
+      seed[i] = static_cast<uint32_t> (packageSeed[i]);
     }
 }
 void 

--- 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];
 };