diff -r b8ba54ab790b -r 5a2b9e25cc85 src/Pure/Build/build_manager.scala
--- a/src/Pure/Build/build_manager.scala	Sun Feb 02 00:08:41 2025 +0100
+++ b/src/Pure/Build/build_manager.scala	Sun Feb 02 00:11:06 2025 +0100
@@ -1628,13 +1628,13 @@
 
     def sync_permissions(dir: Path, ssh: SSH.System = SSH.Local): Unit = {
       ssh.execute("chmod -R g+rwx " + File.bash_path(dir))
-      ssh.execute("chown -R :" + ssh_group + " " + File.bash_path(dir))
+      ssh.execute("chown -R :" + unix_group + " " + File.bash_path(dir))
     }
 
     def init_dirs(): Unit =
       List(pending, finished).foreach(dir => sync_permissions(Isabelle_System.make_directory(dir)))
 
-    val ssh_group: String = options.string("build_manager_group")
+    val unix_group: String = options.string("build_manager_group")
 
     def open_database(server: SSH.Server = SSH.no_server): PostgreSQL.Database =
       PostgreSQL.open_database_server(options, server = server,