diff -r 7eaf1931f408 -r 8b8591820bd8 src/Pure/Build/build.scala
--- a/src/Pure/Build/build.scala	Fri Feb 16 20:54:21 2024 +0100
+++ b/src/Pure/Build/build.scala	Sat Feb 17 14:48:32 2024 +0100
@@ -27,8 +27,8 @@
 
   sealed case class Context(
     store: Store,
-    engine: Engine,
     build_deps: isabelle.Sessions.Deps,
+    engine: Engine = Default_Engine,
     afp_root: Option[Path] = None,
     build_hosts: List[Build_Cluster.Host] = Nil,
     ml_platform: String = Isabelle_System.getenv("ML_PLATFORM"),
@@ -237,8 +237,8 @@
         /* build process and results */
 
         val build_context =
-          Context(store, build_engine, build_deps, afp_root = afp_root, build_hosts = build_hosts,
-            hostname = hostname(build_options), build_heap = build_heap,
+          Context(store, build_deps, engine = build_engine, afp_root = afp_root,
+            build_hosts = build_hosts, hostname = hostname(build_options), build_heap = build_heap,
             numa_shuffling = numa_shuffling, max_jobs = max_jobs, fresh_build = fresh_build,
             no_build = no_build, session_setup = session_setup, master = true)
 
@@ -622,7 +622,7 @@
           Sessions.deps(sessions_structure, progress = progress, inlined_files = true).check_errors
 
         val build_context =
-          Context(store, build_engine, build_deps, afp_root = afp_root,
+          Context(store, build_deps, engine = build_engine, afp_root = afp_root,
             hostname = hostname(build_options), numa_shuffling = numa_shuffling,
             max_jobs = max_jobs, build_uuid = build_master.build_uuid)