diff --git a/CSPM-cspm.cabal b/CSPM-cspm.cabal
--- a/CSPM-cspm.cabal
+++ b/CSPM-cspm.cabal
@@ -1,10 +1,10 @@
 Name:                CSPM-cspm
-Version:             0.7.0.0
+Version:             0.8.0.0
 
 Synopsis:            cspm command line tool for analyzing CSPM specifications.
 Description:
   cspm is a small command line tool for analyzing CSPM specifications.
-  It supports several modes of operation.
+  It supports serveral modes of operation.
   For example as:
   .
   * 'cspm --help'      -> print a help message.
@@ -30,29 +30,29 @@
 category:            Language,Formal Methods,Concurrency
 License-File:        LICENSE
 Author:              Marc Fontaine
-Maintainer:          Marc Fontaine <Marc.Fontaine@gmx.de>
-cabal-Version:       >= 1.10
+Maintainer:          Marc Fontaine <fontaine@cs.uni-duesseldorf.de>
+cabal-Version:       >= 1.20
 build-type:          Simple
-Tested-With:         GHC == 7.6.3
+Tested-With:         GHC == 7.8.3
 Stability:           experimental
 
 Executable cspm
   Build-Depends:
-    CSPM-Frontend >= 0.9 && < 0.10
+    CSPM-Frontend >= 0.10 && < 0.11
     ,CSPM-CoreLanguage >= 0.3 && < 0.4
     ,CSPM-FiringRules >= 0.4 && < 0.5
-    ,CSPM-Interpreter >= 0.6 && < 0.7
+    ,CSPM-Interpreter >= 0.7 && < 0.8
     ,CSPM-ToProlog >= 0.5 && < 0.6
-    ,cmdargs >= 0.10 && < 0.11
+    ,cmdargs >= 0.10.0 && < 0.11
     ,xml >= 1.3 && < 1.4
     ,containers >= 0.5 && < 0.6
     ,parallel >= 3.2 && < 3.3
     ,base >= 4.0 && < 5.0
     ,pretty >= 1.1 && < 1.2
-    ,transformers >= 0.3 && < 0.4
+    ,transformers >= 0.3
     ,syb >= 0.4 && <0.5
     ,prettyclass >= 1.0 && < 1.1
-    ,hslua == 0.3.6
+    ,hslua >=0.3.12 && <0.4
 
   GHC-Options:
     -threaded -funbox-strict-fields -O2 -Wall -fno-warn-orphans
@@ -82,21 +82,22 @@
 
 Library
   Build-Depends:
-    CSPM-Frontend >= 0.9 && < 0.10
+    CSPM-Frontend >= 0.10 && < 0.11
     ,CSPM-CoreLanguage >= 0.3 && < 0.4
     ,CSPM-FiringRules >= 0.4 && < 0.5
-    ,CSPM-Interpreter >= 0.6 && < 0.7
+    ,CSPM-Interpreter >= 0.7 && < 0.8
     ,CSPM-ToProlog >= 0.5 && < 0.6
-    ,cmdargs >= 0.10 && < 0.11
+    ,cmdargs >= 0.10.0 && < 0.11
     ,xml >= 1.3 && < 1.4
     ,containers >= 0.5 && < 0.6
     ,parallel >= 3.2 && < 3.3
     ,base >= 4.0 && < 5.0
     ,pretty >= 1.1 && < 1.2
-    ,transformers >= 0.3 && < 0.4
+    ,transformers >= 0.3
     ,syb >= 0.4 && <0.5
     ,prettyclass >= 1.0 && < 1.1
-    ,hslua == 0.3.6
+    ,hslua >=0.3.12 && <0.4
+
   GHC-Options:
     -funbox-strict-fields -O2 -Wall -fno-warn-orphans
   Default-Language: Haskell2010
diff --git a/src/CSPM/Lua.hs b/src/CSPM/Lua.hs
--- a/src/CSPM/Lua.hs
+++ b/src/CSPM/Lua.hs
@@ -70,7 +70,9 @@
   , luaValueToProcess
   , luaViewProofTree
   ]
-
+  where 
+    returnIO :: a -> IO a
+    returnIO = return
 
 luaExportInfo :: Export
 luaExportInfo = Export "exportInfo" "information about exported functions"
diff --git a/src/Main/ExecCommand.hs b/src/Main/ExecCommand.hs
--- a/src/Main/ExecCommand.hs
+++ b/src/Main/ExecCommand.hs
@@ -33,7 +33,7 @@
 
 import Language.CSPM.Frontend
   (parseFile, frontendVersion
-  ,eitherToExc, renameModule, castModule, lexIncludePath)
+  ,eitherToExc, renameModule, castModule, lexInclude)
 import Language.CSPM.LexHelper (unicodeTokenString,asciiTokenString)
 import Language.CSPM.PrettyPrinter ()
 
@@ -76,7 +76,7 @@
     ,"  cspm info",nl
     ,"  cspm eval '3+2'",nl
     ,nl
-    ,"Copyright (c) Marc Fontaine 2007-2013",nl
+    ,"Copyright (c) Marc Fontaine 2007-2014",nl
     ,"Source code available at: http://hackage.haskell.org/package/CSPM-cspm",nl
     ,"Email : Marc.Fontaine@gmx.de",nl
     ]
@@ -103,7 +103,7 @@
           writeFile outFile $ prettyShow ast
   when (isJust addUnicode || isJust removeUnicode) $ do
     -- Token stream transformations
-      tokens <- readFile src >>= lexIncludePath src >>= eitherToExc
+      tokens <- readFile src >>= lexInclude >>= eitherToExc
       whenJust addUnicode $ \outFile -> withFile outFile WriteMode
          $ \handle -> do
              hSetEncoding handle utf8