--- a/Socket.st	Thu Jul 23 21:00:25 2015 +0200
+++ b/Socket.st	Thu Jul 23 21:03:28 2015 +0200
@@ -2821,7 +2821,7 @@
 	SOCKET socket = SOCKET_FROM_FILE_OBJECT(fp);
 
 	if (@global(FileOpenTrace) == true) {
-	    fprintf(stderr, "close socket [ExternalStream] %"_lx_"\n", socket);
+	    console_fprintf(stderr, "close socket [ExternalStream] %"_lx_"\n", socket);
 	}
 
 	// whether the close() will be successful or not - the handle is invalid now!
@@ -3331,7 +3331,7 @@
 	    else if (arg1 == false) u.u_bool = FALSE;
 	    else goto argError;
 #  ifdef WIN32
-	    _win32_printf("%d %d %d %d\n", level, opt, usize, u.u_int);
+	    console_fprintf(stderr, "%d %d %d %d\n", level, opt, usize, u.u_int);
 #  endif
 	}
 # endif /* IPV6_V6ONLY */