diff --git a/src/main/scala/leon/solvers/isabelle/Component.scala b/src/main/scala/leon/solvers/isabelle/Component.scala
index 2e4cd5d67c40fbf7b9391f9bd3b63080b6228ca2..cf8db26a5d5516222665c2769a005b2eeea74f2e 100644
--- a/src/main/scala/leon/solvers/isabelle/Component.scala
+++ b/src/main/scala/leon/solvers/isabelle/Component.scala
@@ -14,10 +14,10 @@ object Component extends LeonComponent {
   val description = "Isabelle solver"
 
   val leonBase =
-    Paths.get(Option(System.getProperty("leon.base")).getOrElse(".")).toRealPath()
+    Paths.get(Option(System.getProperty("leon.base")).getOrElse(".")).toAbsolutePath()
 
   val isabelleBase =
-    leonBase.resolve("contrib").toRealPath()
+    leonBase.resolve("contrib").toAbsolutePath()
 
   val optBase = LeonStringOptionDef(
     name = "isabelle:base",