src/Pure/Concurrent/multithreading.scala

       val Cores = """^\s*cpu cores\s*:\s*(\d+)\s*$""".r
 
       var physical: Option[Int] = None
       var physical_cores = Map.empty[Int, Int]
 
-      val cpuinfo = ssh.read(Path.explode("/proc/cpuinfo"))
-      for (line <- Library.trim_split_lines(cpuinfo)) {
+      val result = ssh.execute("cat /proc/cpuinfo").check
+      for (line <- Library.trim_split_lines(result.out)) {
         line match {
           case Physical(Value.Int(i)) => physical = Some(i)
           case Cores(Value.Int(i))
             if physical.isDefined && !physical_cores.isDefinedAt(physical.get) =>
             physical_cores = physical_cores + (physical.get -> i)