src/Pure/System/isabelle_platform.scala

--- a/src/Pure/System/isabelle_platform.scala	Mon May 17 14:07:51 2021 +0200
+++ b/src/Pure/System/isabelle_platform.scala	Mon May 17 14:54:03 2021 +0200
@@ -29,10 +29,7 @@
         val result = ssh.execute("bash -c " + Bash.string(script)).check
         new Isabelle_Platform(
           result.out_lines.map(line =>
-            space_explode('=', line) match {
-              case List(a, b) => (a, b)
-              case _ => error("Bad output: " + quote(result.out))
-            }))
+            Properties.Eq.unapply(line) getOrElse error("Bad output: " + quote(result.out))))
     }
   }