# 
# patch "netxx_pipe.hh"
#  from [35de847785e98f5fbdbd05d16f82d7cc9e8c030b]
#    to [288763387ebbd715f7c16b987aa2c81c7c74913a]
# 
===============================================
--- netxx_pipe.hh	35de847785e98f5fbdbd05d16f82d7cc9e8c030b
+++ netxx_pipe.hh	288763387ebbd715f7c16b987aa2c81c7c74913a
@@ -26,4 +26,12 @@
     int get_readfd(void) const { return readfd; }
     int get_writefd(void) const { return writefd; }
 };
+
+#ifdef WIN32
+  class PipeCompatibleProbe : public Probe
+  {
+  }
+#else
+  typedef Probe PipeCompatibleProbe; 
+#endif
 }