src/Pure/System/executable.scala

--- a/src/Pure/System/executable.scala	Sat Apr 12 22:10:57 2025 +0200
+++ b/src/Pure/System/executable.scala	Sun Apr 13 12:23:48 2025 +0200
@@ -43,13 +43,8 @@
       }
       else {
         val Pattern = """^.*=>\s*(/.+)\s+\(.*\)$""".r
-        val prefix =
-          mingw.root match {
-            case None => ""
-            case Some(path) => path.absolute.implode
-          }
         for { case Pattern(lib) <- ldd_lines if filter(lib_name(lib)) }
-          yield prefix + lib
+          yield File.standard_path(mingw.platform_path(lib))
       }
 
     if (libs.nonEmpty) {