diff -r a71d0beff950 -r 6e33d46b1400 src/Pure/Build/build.scala
--- a/src/Pure/Build/build.scala	Sat Jun 14 22:35:48 2025 +0200
+++ b/src/Pure/Build/build.scala	Sun Jun 15 13:13:37 2025 +0200
@@ -410,7 +410,7 @@
 
       progress.echo(
         "Started at " + Build_Log.print_date(progress.start) +
-          " (" + ML_Process.ml_identifier() + " on " + hostname(options) +")",
+          " (" + ML_Settings.system().ml_identifier + " on " + hostname(options) +")",
         verbose = true)
       progress.echo(Build_Log.Settings.show() + "\n", verbose = true)