diff -r 2eb5c8ca2c91 -r b9b3473327e3 lemon/random.h
--- a/lemon/random.h	Fri Jan 23 18:40:41 2009 +0100
+++ b/lemon/random.h	Mon Feb 16 18:15:52 2009 +0000
@@ -77,7 +77,7 @@
 #include <sys/types.h>
 #include <unistd.h>
 #else
-#include <windows.h>
+#include <lemon/bits/windows.h>
 #endif
 
 ///\ingroup misc
@@ -662,9 +662,7 @@
       gettimeofday(&tv, 0);
       seed(getpid() + tv.tv_sec + tv.tv_usec);
 #else
-      FILETIME time;
-      GetSystemTimeAsFileTime(&time);
-      seed(GetCurrentProcessId() + time.dwHighDateTime + time.dwLowDateTime);
+      seed(bits::getWinRndSeed());
 #endif
       return true;
     }