diff --git a/CSPM-cspm.cabal b/CSPM-cspm.cabal
--- a/CSPM-cspm.cabal
+++ b/CSPM-cspm.cabal
@@ -1,5 +1,5 @@
 Name:                CSPM-cspm
-Version:             0.6.0.4
+Version:             0.7.0.0
 
 Synopsis:            cspm command line tool for analyzing CSPM specifications.
 Description:
@@ -33,7 +33,7 @@
 Maintainer:          Marc Fontaine <Marc.Fontaine@gmx.de>
 cabal-Version:       >= 1.10
 build-type:          Simple
-Tested-With:         GHC == 7.4.1
+Tested-With:         GHC == 7.6.3
 Stability:           experimental
 
 Executable cspm
@@ -43,16 +43,16 @@
     ,CSPM-FiringRules >= 0.4 && < 0.5
     ,CSPM-Interpreter >= 0.6 && < 0.7
     ,CSPM-ToProlog >= 0.5 && < 0.6
-    ,cmdargs >= 0.9 && < 0.10
+    ,cmdargs >= 0.10 && < 0.11
     ,xml >= 1.3 && < 1.4
-    ,containers >= 0.4 && < 0.5
+    ,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
-    ,syb >= 0.3 && <0.4
+    ,syb >= 0.4 && <0.5
     ,prettyclass >= 1.0 && < 1.1
-    ,hslua == 0.3.4
+    ,hslua == 0.3.6
 
   GHC-Options:
     -threaded -funbox-strict-fields -O2 -Wall -fno-warn-orphans
@@ -87,16 +87,16 @@
     ,CSPM-FiringRules >= 0.4 && < 0.5
     ,CSPM-Interpreter >= 0.6 && < 0.7
     ,CSPM-ToProlog >= 0.5 && < 0.6
-    ,cmdargs >= 0.9 && < 0.10
+    ,cmdargs >= 0.10 && < 0.11
     ,xml >= 1.3 && < 1.4
-    ,containers >= 0.4 && < 0.5
+    ,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
-    ,syb >= 0.3 && <0.4
+    ,syb >= 0.4 && <0.5
     ,prettyclass >= 1.0 && < 1.1
-    ,hslua == 0.3.4
+    ,hslua == 0.3.6
   GHC-Options:
     -funbox-strict-fields -O2 -Wall -fno-warn-orphans
   Default-Language: Haskell2010
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, lexInclude)
+  ,eitherToExc, renameModule, castModule, lexIncludePath)
 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-2012",nl
+    ,"Copyright (c) Marc Fontaine 2007-2013",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 >>= lexInclude >>= eitherToExc
+      tokens <- readFile src >>= lexIncludePath src >>= eitherToExc
       whenJust addUnicode $ \outFile -> withFile outFile WriteMode
          $ \handle -> do
              hSetEncoding handle utf8