diff -r c84c0c0e6907 -r 5900b58d6bd4 src/Pure/Tools/generated_files.ML
--- a/src/Pure/Tools/generated_files.ML	Fri Jan 17 11:05:36 2025 +0100
+++ b/src/Pure/Tools/generated_files.ML	Fri Jan 17 11:16:11 2025 +0100
@@ -343,7 +343,8 @@
         export |> List.app (fn (bindings, executable) =>
           bindings |> List.app (fn binding0 =>
             let
-              val binding = binding0 |> Path.map_binding (executable = SOME true ? Path.exe);
+              val binding = binding0
+                |> Path.map_binding (executable = SOME true ? Path.platform_exe);
               val (path, pos) = Path.dest_binding binding;
               val content =
                 (case try Bytes.read (dir + path) of