--- a/src/Pure/Admin/component_spass.scala	Fri May 31 22:35:44 2024 +0200
+++ b/src/Pure/Admin/component_spass.scala	Sat Jun 01 12:31:06 2024 +0200
@@ -81,7 +81,7 @@
         }
       }
 
-      Isabelle_System.bash("make", cwd = source_dir.file,
+      Isabelle_System.bash("make", cwd = source_dir,
         progress_stdout = progress.echo(_, verbose = true),
         progress_stderr = progress.echo(_, verbose = true)).check