diff -r bd0028d1ece6 -r b9d9658131b0 src/Pure/Tools/build_process.scala
--- a/src/Pure/Tools/build_process.scala	Sun Feb 26 19:14:47 2023 +0100
+++ b/src/Pure/Tools/build_process.scala	Sun Feb 26 19:18:24 2023 +0100
@@ -478,7 +478,7 @@
       val ch2 = update_running(db, state.running)
       val ch3 = update_results(db, state.results)
 
-      val (serial0, numa_index0) = read_state(db, instance)
+      val (serial0, _) = read_state(db, instance)
       val serial = if (ch1 || ch2 || ch3) serial0 + 1 else serial0
       if (serial != serial0) {
         reset_state(db, instance)
@@ -522,7 +522,7 @@
     else if (store.database_server) Some(store.open_database_server())
     else Some(SQLite.open_database(Build_Process.Data.database))
 
-  def close(): Unit = database.map(_.close())
+  def close(): Unit = database.foreach(_.close())
 
   // global state
   protected var _state: Build_Process.State = init_state()