--- lib/loader/win32.c.orig	Thu Jan  4 01:18:05 2001
+++ lib/loader/win32.c	Thu Jan  4 01:18:10 2001
@@ -1085,6 +1085,7 @@
 static double CPU_Freq()
 {
 //#ifdef USE_TSC
+#ifdef __Linux__
 	FILE *f = fopen ("/proc/cpuinfo", "r");
 	char line[200];
 	char model[200]="unknown";
@@ -1121,9 +1122,9 @@
 	fclose(f);
 	if(freq<0)return old_freq();
 	return freq;
-//#else
-//	return old_freq();
-//#endif    	
+#else
+	return old_freq();
+#endif    	
 }
 
 long WINAPI expQueryPerformanceFrequency(long long* z)