--- a/Win32OperatingSystem.st	Sun Mar 05 21:13:56 2017 +0000
+++ b/Win32OperatingSystem.st	Mon Mar 13 08:03:28 2017 +0000
@@ -12292,7 +12292,9 @@
 	    goto done;
 	    }
 	if ((res < 0) || (res >= numHandles)) {
+#ifdef SELECTDEBUGWIN32	
 	    console_printf("- res=%d error1 %d\n", res, GetLastError());
+#endif	    
 	    goto done;
 	}