diff -r cfd58705fbaf -r 13edc16bc14c src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Tue Jun 27 11:39:02 2023 +0200
+++ b/src/Pure/Tools/build.scala	Tue Jun 27 14:50:48 2023 +0200
@@ -163,13 +163,11 @@
     /* build process and results */
 
     val build_context =
-      Build_Process.Context(store, build_deps, progress = progress,
+      Build_Process.init_context(store, build_deps, progress = progress,
         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)
 
-    build_context.store_init()
-
     if (clean_build) {
       using_optional(store.maybe_open_database_server()) { database_server =>
         for (name <- full_sessions.imports_descendants(full_sessions_selection)) {