src/Pure/System/executable.scala

--- a/src/Pure/System/executable.scala	Sat Feb 27 17:33:40 2021 +0100
+++ b/src/Pure/System/executable.scala	Sat Feb 27 18:04:29 2021 +0100
@@ -49,7 +49,7 @@
       }
 
     if (libs.nonEmpty) {
-      libs.foreach(lib => File.copy(Path.explode(lib), exe_dir))
+      libs.foreach(lib => Isabelle_System.copy_file(Path.explode(lib), exe_dir))
 
       if (Platform.is_linux) {
         if (patchelf) {