diff -r 8664433956b3 -r df49ca5da9d0 src/Pure/Admin/build_zipperposition.scala
--- a/src/Pure/Admin/build_zipperposition.scala	Sat Feb 27 17:33:40 2021 +0100
+++ b/src/Pure/Admin/build_zipperposition.scala	Sat Feb 27 18:04:29 2021 +0100
@@ -54,11 +54,12 @@
 
       /* install */
 
-      File.copy(build_dir + Path.explode("doc/zipperposition/LICENSE"), component_dir)
+      Isabelle_System.copy_file(build_dir + Path.explode("doc/zipperposition/LICENSE"),
+        component_dir)
 
       val prg_path = Path.basic("zipperposition")
       val exe_path = prg_path.platform_exe
-      File.copy(build_dir + Path.basic("bin") + prg_path, platform_dir + exe_path)
+      Isabelle_System.copy_file(build_dir + Path.basic("bin") + prg_path, platform_dir + exe_path)
 
       if (!Platform.is_windows) {
         Executable.libraries_closure(