src/Pure/System/isabelle_process.scala

     eval_main: String = "",
     modes: List[String] = Nil,
     cwd: JFile = null,
     env: JMap[String, String] = Isabelle_System.settings()
   ): Isabelle_Process = {
-    val channel = System_Channel(unix_domain = Platform.is_unix)
+    val channel = System_Channel()
     val process =
       try {
         val ml_options =
           options.
             string.update("system_channel_address", channel.address).