diff -r 734bb148503e -r a74eb8e0907a src/Pure/System/system_channel.scala
--- a/src/Pure/System/system_channel.scala	Sat Jan 10 14:28:41 2015 +0100
+++ b/src/Pure/System/system_channel.scala	Sat Jan 10 16:35:07 2015 +0100
@@ -15,8 +15,8 @@
 
 object System_Channel
 {
-  def apply(): System_Channel =
-    if (Platform.is_windows) new Socket_Channel else new Fifo_Channel
+  def apply(): System_Channel = new Socket_Channel
+    // FIXME if (Platform.is_windows) new Socket_Channel else new Fifo_Channel
 }
 
 abstract class System_Channel