diff -r 8a3603bb73d7 -r ec2221eaada0 Win32OperatingSystem.st
--- a/Win32OperatingSystem.st	Sun Nov 11 22:42:45 2018 +0100
+++ b/Win32OperatingSystem.st	Sun Nov 11 22:44:30 2018 +0100
@@ -824,7 +824,7 @@
     static int haveVersion = 0;
     static char *system = "unknown";
 
-console_printf(">OSVersion\n");
+    // console_printf(">OSVersion\n");
     if (! haveVersion) {
 	int winVer;
 	DWORD vsn;
@@ -845,7 +845,7 @@
 			system = "win7";
 			if (verMinor >= 2) {
 			    system = "win8";
-			    console_printf(">win8\n");
+			    // console_printf(">win8\n");
 			    {
 				static HINSTANCE libHandle = NULL;
 
@@ -868,7 +868,7 @@
 				    }
 				}
 			    }
-			    console_printf("<win8\n");
+			    // console_printf("<win8\n");
 			}
 		    }
 		}
@@ -878,7 +878,7 @@
 	}
 	haveVersion = 1;
     }
-console_printf("<OSVersion %s\n", system);
+    // console_printf("<OSVersion %s\n", system);
     *pMajor = verMajor;
     *pMinor = verMinor;
     return system;
@@ -9519,10 +9519,10 @@
     }
 #if 1
     if (isWin8) {
-	console_printf(">>OSVersion\n");
+	// console_printf(">>OSVersion\n");
 	s = OSVersion(&verMajor, &verMinor);
 	sys = __MKSYMBOL(s, (OBJ *)0);
-	console_printf("<<OSVersion\n");
+	// console_printf("<<OSVersion\n");
     }
 #endif
     len = snprintf(vsnBuffer, sizeof(vsnBuffer), "%d.%d", verMajor, verMinor);