diff --git a/Util.hs b/Util.hs
--- a/Util.hs
+++ b/Util.hs
@@ -1,8 +1,14 @@
-{-# LANGUAGE ScopedTypeVariables #-}
+{-# LANGUAGE ScopedTypeVariables, CPP #-}
 {-# OPTIONS -Wall #-}
 module Util where
 
 import Data.Typeable
+
+#if MIN_VERSION_base(4,4,0)
+
+#else
+mkTyCon3 _ m t = mkTyCon $ m++"."++t
+#endif
 
 packageName :: String
 packageName = "logic-TPTP"
diff --git a/logic-TPTP.cabal b/logic-TPTP.cabal
--- a/logic-TPTP.cabal
+++ b/logic-TPTP.cabal
@@ -1,5 +1,5 @@
 name: logic-TPTP    
-version: 0.3.0.0
+version: 0.3.0.1
 cabal-version: >= 1.6
 build-type: Simple
 license: GPL
@@ -43,6 +43,7 @@
                     MACROS.h
 
 tested-with: GHC==7.2.1
+tested-with: GHC==7.0.4
 
 source-repository head
  type: darcs