diff -r 762fcf8f9ced -r 972f7a4cdc0e src/Pure/Build/build_schedule.scala
--- a/src/Pure/Build/build_schedule.scala	Tue Jul 02 22:38:00 2024 +0200
+++ b/src/Pure/Build/build_schedule.scala	Tue Jul 02 23:13:35 2024 +0200
@@ -549,7 +549,7 @@
           Schedule(build_uuid, generator, start, graph, serial)
         }
 
-      schedule(YXML.parse_body(File.read(file)))
+      schedule(YXML.parse_body(Bytes.read(file)))
     }
   }