--- a/src/Pure/Admin/component_minisat.scala	Fri May 31 22:35:44 2024 +0200
+++ b/src/Pure/Admin/component_minisat.scala	Sat Jun 01 12:31:06 2024 +0200
@@ -73,7 +73,7 @@
           _.replaceAll("--static", "").replaceAll("-Wl,-soname\\S+", "")
         }
       }
-      progress.bash("make r", source_dir.file, echo = progress.verbose).check
+      progress.bash("make r", cwd = source_dir, echo = progress.verbose).check
 
       Isabelle_System.copy_file(
         source_dir + Path.explode("build/release/bin/minisat").platform_exe, platform_dir)