--- a/src/Pure/Build/build_job.scala	Fri Jun 27 13:44:36 2025 +0200
+++ b/src/Pure/Build/build_job.scala	Fri Jun 27 14:41:18 2025 +0200
@@ -171,7 +171,9 @@
           /* session */
 
           val session =
-            new Session(options) {
+            new Session {
+              override def session_options: Options = options
+
               override val store: Store = build_context.store
 
               override val resources: Resources =