diff --git a/ivory-backend-c.cabal b/ivory-backend-c.cabal
--- a/ivory-backend-c.cabal
+++ b/ivory-backend-c.cabal
@@ -2,7 +2,7 @@
 --  see http://haskell.org/cabal/users-guide/
 
 name:                ivory-backend-c
-version:             0.1.0.5
+version:             0.1.0.7
 author:              Galois, Inc.
 maintainer:          leepike@galois.com
 category:            Language
@@ -38,7 +38,7 @@
                         srcloc,
                         mainland-pretty >= 0.2.5,
                         monadLib >= 3.7,
-                        template-haskell >= 2.8 && <2.11,
+                        template-haskell >= 2.8,
                         bytestring >= 0.10,
                         directory,
                         filepath,
diff --git a/src/Ivory/Compile/C/Modules.hs b/src/Ivory/Compile/C/Modules.hs
--- a/src/Ivory/Compile/C/Modules.hs
+++ b/src/Ivory/Compile/C/Modules.hs
@@ -9,6 +9,9 @@
 import           Prelude.Compat
 
 import           Text.PrettyPrint.Mainland
+#if MIN_VERSION_mainland_pretty(0,6,0)
+import           Text.PrettyPrint.Mainland.Class
+#endif
 
 import qualified Ivory.Language.Syntax.AST as I