diff --git a/Ivor/MakeData.lhs b/Ivor/MakeData.lhs
--- a/Ivor/MakeData.lhs
+++ b/Ivor/MakeData.lhs
@@ -1,5 +1,3 @@
-> {-# OPTIONS_GHC -fglasgow-exts #-}
-
 > module Ivor.MakeData where
 
 > import Ivor.TTCore
diff --git a/Ivor/TT.lhs b/Ivor/TT.lhs
--- a/Ivor/TT.lhs
+++ b/Ivor/TT.lhs
@@ -1,5 +1,3 @@
-> {-# OPTIONS_GHC -fglasgow-exts #-}
-
 > -- |
 > -- Module      : Ivor.TT
 > -- Copyright   : Edwin Brady
diff --git a/Ivor/Tactics.lhs b/Ivor/Tactics.lhs
--- a/Ivor/Tactics.lhs
+++ b/Ivor/Tactics.lhs
@@ -1,5 +1,3 @@
-> {-# OPTIONS_GHC -fglasgow-exts #-}
-
 > module Ivor.Tactics where
 
 > import Ivor.TTCore
diff --git a/ivor.cabal b/ivor.cabal
--- a/ivor.cabal
+++ b/ivor.cabal
@@ -1,5 +1,5 @@
 Name:		ivor
-Version:	0.1.10.1
+Version:	0.1.11
 Author:		Edwin Brady
 License:	BSD3
 License-file:	LICENSE
@@ -62,7 +62,8 @@
 Build-type:     Simple
 
 Extensions:     MultiParamTypeClasses, FunctionalDependencies,
-                ExistentialQuantification, OverlappingInstances
+                ExistentialQuantification, OverlappingInstances,
+                TypeSynonymInstances, PatternGuards
 -- Needs some -Wall cleanup
 -- GHC-options:    -Wall