diff -r 762fcf8f9ced -r 972f7a4cdc0e src/Pure/Build/build.scala
--- a/src/Pure/Build/build.scala	Tue Jul 02 22:38:00 2024 +0200
+++ b/src/Pure/Build/build.scala	Tue Jul 02 23:13:35 2024 +0200
@@ -719,7 +719,7 @@
     def read(name: String): Export.Entry = theory_context(name, permissive = true)
 
     def read_xml(name: String): XML.Body =
-      YXML.parse_body(read(name).bytes.text, recode = decode, cache = theory_context.cache)
+      YXML.parse_body(read(name).bytes, recode = decode, cache = theory_context.cache)
 
     def read_source_file(name: String): Store.Source_File =
       theory_context.session_context.source_file(name)