--- a/src/Pure/Admin/component_rsync.scala	Mon May 05 17:04:14 2025 +0100
+++ b/src/Pure/Admin/component_rsync.scala	Tue May 06 16:52:39 2025 +0200
@@ -50,7 +50,7 @@
           .create(progress = progress)
           .write_platforms()
 
-      val platform_name = Isabelle_Platform.self.ISABELLE_PLATFORM(apple = true)
+      val platform_name = Isabelle_Platform.local.ISABELLE_PLATFORM(apple = true)
       val platform_dir =
         Isabelle_System.make_directory(component_dir.path + Path.basic(platform_name))