diff -r a7df12d97e18 -r 92f62ec6cc49 src/Pure/Admin/component_polyml.scala
--- a/src/Pure/Admin/component_polyml.scala	Thu Apr 10 16:54:31 2025 +0200
+++ b/src/Pure/Admin/component_polyml.scala	Thu Apr 10 19:56:51 2025 +0200
@@ -161,19 +161,15 @@
     /* install */
 
     val platform_path = Path.explode(platform_context.polyml(arch_64))
+    val platform_dir = target_dir + platform_path
 
-    val platform_dir = target_dir + platform_path
     Isabelle_System.rm_tree(platform_dir)
     Isabelle_System.make_directory(platform_dir)
 
-    val root_platform_dir = Isabelle_System.make_directory(root + platform_path)
-    for {
-      d <- List("target/bin", "target/lib")
-      dir = root + Path.explode(d)
-      entry <- File.read_dir(dir)
-    } Isabelle_System.move_file(dir + Path.explode(entry), root_platform_dir)
+    for (d <- List("target/bin", "target/lib")) {
+      Isabelle_System.copy_dir(root + Path.explode(d), platform_dir, direct = true)
+    }
 
-    Isabelle_System.copy_dir(root_platform_dir, platform_dir, direct = true)
     for (file <- sha1_files) Isabelle_System.copy_file(file, platform_dir)
 
     Executable.libraries_closure(