diff --git a/Agda-executable.cabal b/Agda-executable.cabal
--- a/Agda-executable.cabal
+++ b/Agda-executable.cabal
@@ -1,10 +1,10 @@
 name:            Agda-executable
-version:         2.2.2
+version:         2.2.4
 cabal-version:   >= 1.6 && < 2
 build-type:      Simple
 license:         OtherLicense
 license-file:    LICENSE
-author:          Ulf Norell, Catarina Coquand, Makoto Takeyama, Nils Anders Danielsson, Andreas Abel, ...
+author:          Ulf Norell, Nils Anders Danielsson, Catarina Coquand, Makoto Takeyama, Andreas Abel, ...
 maintainer:      Ulf Norell <ulfn@chalmers.se>
 homepage:        http://wiki.portal.chalmers.se/agda/
 bug-reports:     http://code.google.com/p/agda/issues/list
@@ -14,7 +14,7 @@
   This package provides a command-line program for type-checking and
   compiling Agda programs. The program can also generate hyperlinked,
   highlighted HTML files from Agda sources.
-tested-with:     GHC == 6.8.3 && == 6.10.2
+tested-with:     GHC == 6.10.3
 
 source-repository head
   type:     darcs
@@ -23,10 +23,11 @@
 source-repository this
   type:     darcs
   location: http://code.haskell.org/Agda/
-  tag:      2.2.2
+  tag:      2.2.4
 
 executable agda
   main-is:       Main.hs
-  build-depends: Agda == 2.2.2,
-                 base
-
+  build-depends: Agda == 2.2.4,
+                 -- Nothing is used from the following package, except
+                 -- for the prelude.
+                 base >= 3 && < 6
diff --git a/Main.hs b/Main.hs
--- a/Main.hs
+++ b/Main.hs
@@ -5,6 +5,8 @@
 
 module Main (main) where
 
-import qualified Agda.Main
+import qualified Agda.Main ( main )
+import Prelude ( IO )
 
+main :: IO ()
 main = Agda.Main.main