diff -r 2d99f3e24da4 -r 956ecf2c07a0 src/Pure/Build/build_benchmark.scala
--- a/src/Pure/Build/build_benchmark.scala	Sun Jun 15 22:14:38 2025 +0200
+++ b/src/Pure/Build/build_benchmark.scala	Sun Jun 15 22:46:45 2025 +0200
@@ -68,7 +68,7 @@
         def get_shasum(name: String): SHA1.Shasum =
           store.check_output(database_server, name,
             sources_shasum = sessions(name).sources_shasum,
-            input_shasum = ML_Process.make_shasum(sessions(name).ancestors.map(get_shasum)),
+            input_shasum = ML_Process.make_shasum(store, sessions(name).ancestors.map(get_shasum)),
             build_thorough = build_context.sessions_structure(name).build_thorough)._2
 
         val deps = Sessions.deps(full_sessions.selection(selection)).check_errors