diff -r 762fcf8f9ced -r 972f7a4cdc0e src/Pure/System/bash.scala
--- a/src/Pure/System/bash.scala	Tue Jul 02 22:38:00 2024 +0200
+++ b/src/Pure/System/bash.scala	Tue Jul 02 23:13:35 2024 +0200
@@ -370,14 +370,14 @@
             Bash.process(script,
               description = description,
               cwd =
-                XML.Decode.option(XML.Decode.string)(YXML.parse_body(cwd)) match {
+                XML.Decode.option(XML.Decode.string)(YXML.parse_body(YXML.Source(cwd))) match {
                   case None => Path.current
                   case Some(s) => Path.explode(s)
                 },
               env =
                 Isabelle_System.settings(
                   XML.Decode.list(XML.Decode.pair(XML.Decode.string, XML.Decode.string))(
-                    YXML.parse_body(putenv))),
+                    YXML.parse_body(YXML.Source(putenv)))),
               redirect = redirect)
           }
           match {