src/Pure/Admin/build_vampire.scala

       progress.bash("git clone " + Bash.string(repository) + " vampire",
         cwd = tmp_dir.file, echo = verbose).check
 
       val source_dir = tmp_dir + Path.explode("vampire")
 
-      File.copy(source_dir + Path.explode("LICENCE"), component_dir)
+      Isabelle_System.copy_file(source_dir + Path.explode("LICENCE"), component_dir)
 
 
       /* build versions */
 
       for { (rev, exe) <- List(version1 -> "vampire", version2 -> "vampire_polymorphic") } {

           split_lines(cmake_out).collectFirst({ case Pattern(name) => name })
             .getOrElse(error("Failed to determine binary name from cmake output:\n" + cmake_out))
 
         progress.bash("make -j" + jobs, cwd = build_dir.file, echo = verbose).check
 
-        File.copy(build_dir + Path.basic("bin") + Path.basic(binary).platform_exe,
+        Isabelle_System.copy_file(build_dir + Path.basic("bin") + Path.basic(binary).platform_exe,
           platform_dir + Path.basic(exe).platform_exe)
       }
 
 
       /* settings */