diff -r cc9bb4f95ed3 -r 60f4aaedb20f lemon/bits/windows.cc
--- a/lemon/bits/windows.cc	Thu Mar 17 18:12:25 2011 +0100
+++ b/lemon/bits/windows.cc	Tue Apr 12 07:52:25 2011 +0200
@@ -40,7 +40,9 @@
 #else
 #include <unistd.h>
 #include <ctime>
+#ifndef WIN32
 #include <sys/times.h>
+#endif
 #include <sys/time.h>
 #endif