src/Pure/Admin/build_release.scala

     val script_path = isabelle_target + Path.explode("lib/scripts/Isabelle_app")
     File.write(script_path, script)
     File.set_executable(script_path, true)
 
     val component_dir = isabelle_target + Path.explode("contrib/Isabelle_app")
-    File.move(
+    Isabelle_System.move_file(
       component_dir + Path.explode(Platform.standard_platform(platform)) + Path.explode("Isabelle"),
       isabelle_target + Path.explode(isabelle_name))
     Isabelle_System.rm_tree(component_dir)
   }
 

             // macOS application bundle
 
             val app_contents = isabelle_target + Path.explode("Contents")
 
             for (icon <- List("lib/logo/isabelle.icns", "lib/logo/theory.icns")) {
-              File.copy(isabelle_target + Path.explode(icon),
+              Isabelle_System.copy_file(isabelle_target + Path.explode(icon),
                 Isabelle_System.make_directory(app_contents + Path.explode("Resources")))
             }
 
             make_isabelle_plist(
               app_contents + Path.explode("Info.plist"), isabelle_name, release.ident)

 
             val archive_name = isabelle_name + "_macos.tar.gz"
             progress.echo("Packaging " + archive_name + " ...")
 
             val isabelle_app = Path.explode(isabelle_name + ".app")
-            File.move(tmp_dir + Path.explode(isabelle_name), tmp_dir + isabelle_app)
+            Isabelle_System.move_file(tmp_dir + Path.explode(isabelle_name),
+              tmp_dir + isabelle_app)
 
             execute_tar(tmp_dir,
               "-czf " + File.bash_path(release.dist_dir + Path.explode(archive_name)) + " " +
               File.bash_path(isabelle_app))
 

               _.replaceAll("foldPainter=.*", "foldPainter=Square"))
 
 
             // application launcher
 
-            File.move(isabelle_target + Path.explode("contrib/windows_app"), tmp_dir)
+            Isabelle_System.move_file(isabelle_target + Path.explode("contrib/windows_app"), tmp_dir)
 
             val app_template = Path.explode("~~/Admin/Windows/launch4j")
 
             make_isabelle_options(
               isabelle_target + Path.explode(isabelle_name + ".l4j.ini"),

                 .replace("\\jdk\\", "\\" + jdk_component + "\\"))
 
             execute(tmp_dir,
               "\"windows_app/launch4j-${ISABELLE_PLATFORM_FAMILY}/launch4j\" isabelle.xml")
 
-            File.copy(app_template + Path.explode("manifest.xml"),
+            Isabelle_System.copy_file(app_template + Path.explode("manifest.xml"),
               isabelle_target + isabelle_exe.ext("manifest"))
 
 
             // Cygwin setup
 
             val cygwin_template = Path.explode("~~/Admin/Windows/Cygwin")
 
-            File.copy(cygwin_template + Path.explode("Cygwin-Terminal.bat"), isabelle_target)
+            Isabelle_System.copy_file(cygwin_template + Path.explode("Cygwin-Terminal.bat"),
+              isabelle_target)
 
             val cygwin_mirror =
               File.read(isabelle_target + Path.explode("contrib/cygwin/isabelle/cygwin_mirror"))
 
             val cygwin_bat = Path.explode("Cygwin-Setup.bat")

               File.read(cygwin_template + cygwin_bat).replace("{MIRROR}", cygwin_mirror))
             File.set_executable(isabelle_target + cygwin_bat, true)
 
             for (name <- List("isabelle/postinstall", "isabelle/rebaseall")) {
               val path = Path.explode(name)
-              File.copy(cygwin_template + path,
+              Isabelle_System.copy_file(cygwin_template + path,
                 isabelle_target + Path.explode("contrib/cygwin") + path)
             }
 
             execute(isabelle_target,
               """find . -type f -not -name "*.exe" -not -name "*.dll" """ +

           HTML.subsection("Repositories"),
           HTML.itemize(
             List(List(isabelle_link)) ::: (if (afp_rev == "") Nil else List(List(afp_link))))))
 
       for ((bundle, _) <- website_platform_bundles)
-        File.copy(release.dist_dir + Path.explode(bundle), dir)
+        Isabelle_System.copy_file(release.dist_dir + Path.explode(bundle), dir)
     }
 
 
     /* HTML library */