diff --git a/Curry/Files/ProphecyPath.hs b/Curry/Files/ProphecyPath.hs
--- a/Curry/Files/ProphecyPath.hs
+++ b/Curry/Files/ProphecyPath.hs
@@ -1,6 +1,7 @@
 module Curry.Files.ProphecyPath 
   (getProphecy
   ,getOracleLibDir
+  ,getOracleLibBaseDir
   ,prophecyVersion
   ) where
 
@@ -14,4 +15,8 @@
   execDir <- getBinDir
   return (execDir </> "prophecy")
 
-getOracleLibDir = getDataDir
+getOracleLibBaseDir = getDataDir
+
+getOracleLibDir = do
+  dir <- getDataDir
+  return (dir </> "Curry" </> "Module")
diff --git a/KiCS-prophecy.cabal b/KiCS-prophecy.cabal
--- a/KiCS-prophecy.cabal
+++ b/KiCS-prophecy.cabal
@@ -1,5 +1,5 @@
 Name:          KiCS-prophecy
-Version:       0.1.0
+Version:       0.1.1
 Cabal-Version: >= 1.6
 Author:        Bernd Braßel
 Maintainer:    Bernd Braßel
@@ -49,7 +49,7 @@
   hs-source-dirs: ., .curry/kics
   Build-Depends:  
     base == 4.1.*,
-    KiCS >= 0.9.0
+    KiCS >= 0.9.1
   Other-Modules:
     Curry.Module.AddWorld
     Curry.Module.Wrapper