diff --git a/src/main/scala/leon/solvers/isabelle/IsabelleEnvironment.scala b/src/main/scala/leon/solvers/isabelle/IsabelleEnvironment.scala
index 33094b93682b53bf6a7e92b8d63280c810ded523..853af8056f581e7ba53e8cfccaf11484d8d0b9fe 100644
--- a/src/main/scala/leon/solvers/isabelle/IsabelleEnvironment.scala
+++ b/src/main/scala/leon/solvers/isabelle/IsabelleEnvironment.scala
@@ -58,7 +58,7 @@ object IsabelleEnvironment {
       case _ =>
         context.reporter.info(s"No $version found at $base")
         context.reporter.info(s"Preparing $version environment ...")
-        Setup.installTo(Files.createDirectories(base), version)
+        Setup.installTo(Files.createDirectories(base).toRealPath(), version)
     }
 
     val system = setup.flatMap { setup =>