diff --git a/Hat/Directory.hs b/Hat/Directory.hs
--- a/Hat/Directory.hs
+++ b/Hat/Directory.hs
@@ -10,8 +10,7 @@
     ,asetCurrentDirectory,hsetCurrentDirectory,gdoesFileExist,adoesFileExist
     ,hdoesFileExist,gdoesDirectoryExist,adoesDirectoryExist,hdoesDirectoryExist
     ,ggetPermissions,agetPermissions,hgetPermissions,gsetPermissions
-    ,asetPermissions,hsetPermissions,ggetModificationTime,agetModificationTime
-    ,hgetModificationTime) where
+    ,asetPermissions,hsetPermissions) where
 
 import qualified Hat.PreludeBasic 
 import qualified Prelude 
@@ -19,7 +18,6 @@
 import qualified Hat.Hat as T 
 import Hat.Hat  (WrapVal(wrapVal))
 import Hat.Prelude 
-import Hat.Time  (ClockTime())
 import Hat.PreludeBuiltinTypes 
 import Hat.DirectoryBuiltinTypes 
 import Hat.DirectoryBuiltin 
@@ -32,7 +30,7 @@
   (!==) (%==) p = T.uconstUse (%==) p (|==)
   
   (|==) =
-    T.uconstDef T.mkRoot (+#@=&=#@=$+==)
+    T.uconstDef T.mkRoot (+$!=&=$!=$+==)
       (\ p -> gprimPermissionsEq T.mkNoSrcPos p)
   
 
@@ -42,13 +40,13 @@
   gcompare pcompare p = T.uconstUse pcompare p scompare
   
   scompare =
-    T.uconstDef T.mkRoot a21v3v21v34compare
+    T.uconstDef T.mkRoot a23v3v23v34compare
       (\ p -> gprimPermissionsCompare T.mkNoSrcPos p)
   
   (!<=) (%<=) p = T.uconstUse (%<=) p (|<=)
   
   (|<=) =
-    T.uconstDef T.mkRoot (+$$=&=$$=$@<=)
+    T.uconstDef T.mkRoot (+$&=&=$&=$@<=)
       (\ p -> gprimPermissionsLeEq T.mkNoSrcPos p)
   
 
@@ -58,7 +56,7 @@
   greadsPrec preadsPrec p = T.uconstUse preadsPrec p sreadsPrec
   
   sreadsPrec =
-    T.uconstDef T.mkRoot a25v3v25v38readsPrec
+    T.uconstDef T.mkRoot a27v3v27v38readsPrec
       (\ p -> gprimPermissionsReadsPrec T.mkNoSrcPos p)
   
 
@@ -68,7 +66,7 @@
   gshowsPrec pshowsPrec p = T.uconstUse pshowsPrec p sshowsPrec
   
   sshowsPrec =
-    T.uconstDef T.mkRoot a28v3v28v38showsPrec
+    T.uconstDef T.mkRoot a30v3v30v38showsPrec
       (\ p -> gprimPermissionsShowsPrec T.mkNoSrcPos p)
   
 
@@ -263,85 +261,71 @@
     (Directory.setPermissions (toString ksetPermissions z1setPermissions)
       (toPermissions ksetPermissions z2setPermissions))
 
-ggetModificationTime ::
-  T.RefSrcPos -> T.RefExp -> T.R (T.Fun String (IO ClockTime))
-
-ggetModificationTime pgetModificationTime p =
-  T.ufun1 agetModificationTime pgetModificationTime p hgetModificationTime
-
-hgetModificationTime z1getModificationTime kgetModificationTime =
-  (T.fromIO fromClockTime) kgetModificationTime
-    (Directory.getModificationTime
-      (toString kgetModificationTime z1getModificationTime))
-
 tDirectory = T.mkModule "Directory" "Directory.hs" Prelude.False
 
 aprimPermissionsEq =
-  T.mkVariable tDirectory 300001 310056 3 2 "primPermissionsEq" Prelude.False
+  T.mkVariable tDirectory 320001 330056 3 2 "primPermissionsEq" Prelude.False
 
 aprimPermissionsCompare =
-  T.mkVariable tDirectory 330001 340065 3 2 "primPermissionsCompare"
+  T.mkVariable tDirectory 350001 360065 3 2 "primPermissionsCompare"
     Prelude.False
 
 aprimPermissionsLeEq =
-  T.mkVariable tDirectory 360001 370058 3 2 "primPermissionsLeEq" Prelude.False
+  T.mkVariable tDirectory 380001 390058 3 2 "primPermissionsLeEq" Prelude.False
 
 aprimPermissionsReadsPrec =
-  T.mkVariable tDirectory 390001 400047 3 2 "primPermissionsReadsPrec"
+  T.mkVariable tDirectory 410001 420047 3 2 "primPermissionsReadsPrec"
     Prelude.False
 
 aprimPermissionsShowsPrec =
-  T.mkVariable tDirectory 420001 430067 3 3 "primPermissionsShowsPrec"
+  T.mkVariable tDirectory 440001 450067 3 3 "primPermissionsShowsPrec"
     Prelude.False
 
 acreateDirectory =
-  T.mkVariable tDirectory 460001 470033 3 1 "createDirectory" Prelude.False
+  T.mkVariable tDirectory 480001 490033 3 1 "createDirectory" Prelude.False
 
 aremoveDirectory =
-  T.mkVariable tDirectory 480001 490033 3 1 "removeDirectory" Prelude.False
+  T.mkVariable tDirectory 500001 510033 3 1 "removeDirectory" Prelude.False
 
 aremoveFile =
-  T.mkVariable tDirectory 500001 510028 3 1 "removeFile" Prelude.False
+  T.mkVariable tDirectory 520001 530028 3 1 "removeFile" Prelude.False
 
 arenameDirectory =
-  T.mkVariable tDirectory 520001 530043 3 2 "renameDirectory" Prelude.False
+  T.mkVariable tDirectory 540001 550043 3 2 "renameDirectory" Prelude.False
 
 arenameFile =
-  T.mkVariable tDirectory 540001 550038 3 2 "renameFile" Prelude.False
+  T.mkVariable tDirectory 560001 570038 3 2 "renameFile" Prelude.False
 
 agetDirectoryContents =
-  T.mkVariable tDirectory 570001 580038 3 1 "getDirectoryContents" Prelude.False
+  T.mkVariable tDirectory 590001 600038 3 1 "getDirectoryContents" Prelude.False
 
 agetCurrentDirectory =
-  T.mkVariable tDirectory 590001 600027 3 0 "getCurrentDirectory" Prelude.False
+  T.mkVariable tDirectory 610001 620027 3 0 "getCurrentDirectory" Prelude.False
 
 asetCurrentDirectory =
-  T.mkVariable tDirectory 610001 620037 3 1 "setCurrentDirectory" Prelude.False
+  T.mkVariable tDirectory 630001 640037 3 1 "setCurrentDirectory" Prelude.False
 
 adoesFileExist =
-  T.mkVariable tDirectory 640001 650030 3 1 "doesFileExist" Prelude.False
+  T.mkVariable tDirectory 660001 670030 3 1 "doesFileExist" Prelude.False
 
 adoesDirectoryExist =
-  T.mkVariable tDirectory 660001 670035 3 1 "doesDirectoryExist" Prelude.False
+  T.mkVariable tDirectory 680001 690035 3 1 "doesDirectoryExist" Prelude.False
 
 agetPermissions =
-  T.mkVariable tDirectory 690001 700031 3 1 "getPermissions" Prelude.False
+  T.mkVariable tDirectory 710001 720031 3 1 "getPermissions" Prelude.False
 
 asetPermissions =
-  T.mkVariable tDirectory 710001 720046 3 2 "setPermissions" Prelude.False
-
-agetModificationTime =
-  T.mkVariable tDirectory 740001 750036 3 1 "getModificationTime" Prelude.False
+  T.mkVariable tDirectory 730001 740046 3 2 "setPermissions" Prelude.False
 
-(+#@=&=#@=$+==) = T.mkVariable tDirectory 180004 180026 16 0 "==" Prelude.False
+(+$!=&=$!=$+==) = T.mkVariable tDirectory 200004 200026 16 0 "==" Prelude.False
 
-a21v3v21v34compare =
-  T.mkVariable tDirectory 210003 210034 3 0 "compare" Prelude.False
+a23v3v23v34compare =
+  T.mkVariable tDirectory 230003 230034 3 0 "compare" Prelude.False
 
-(+$$=&=$$=$@<=) = T.mkVariable tDirectory 220004 220028 16 0 "<=" Prelude.False
+(+$&=&=$&=$@<=) = T.mkVariable tDirectory 240004 240028 16 0 "<=" Prelude.False
 
-a25v3v25v38readsPrec =
-  T.mkVariable tDirectory 250003 250038 3 0 "readsPrec" Prelude.False
+a27v3v27v38readsPrec =
+  T.mkVariable tDirectory 270003 270038 3 0 "readsPrec" Prelude.False
 
-a28v3v28v38showsPrec =
-  T.mkVariable tDirectory 280003 280038 3 0 "showsPrec" Prelude.False
+a30v3v30v38showsPrec =
+  T.mkVariable tDirectory 300003 300038 3 0 "showsPrec" Prelude.False
diff --git a/hat.cabal b/hat.cabal
--- a/hat.cabal
+++ b/hat.cabal
@@ -1,6 +1,6 @@
 
 name:                hat
-version:             2.7.0.9
+version:             2.7.0.10
 synopsis:            The Haskell tracer, generating and viewing Haskell execution traces
 description:
   hat-trans transforms Module.hs into Hat/Module.hs such that when the program is
diff --git a/libraries/Directory.hs b/libraries/Directory.hs
--- a/libraries/Directory.hs
+++ b/libraries/Directory.hs
@@ -1,13 +1,15 @@
+-- A Haskell 98 module (not Haskell 2010)
+
 module Directory ( 
      Permissions( Permissions, readable, writable, executable, searchable ), 
      createDirectory, removeDirectory, removeFile, 
      renameDirectory, renameFile, getDirectoryContents,
      getCurrentDirectory, setCurrentDirectory,
      doesFileExist, doesDirectoryExist,
-     getPermissions, setPermissions,
-     getModificationTime ) where
+     getPermissions, setPermissions --, getModificationTime 
+     ) where
 
-import Time ( ClockTime )
+-- import Time ( ClockTime )
 import PreludeBuiltinTypes
 import DirectoryBuiltinTypes
 import DirectoryBuiltin
@@ -71,5 +73,6 @@
 foreign import haskell "Directory.setPermissions"
  setPermissions :: String -> Permissions -> IO ()
 
-foreign import haskell "Directory.getModificationTime"
- getModificationTime :: String -> IO ClockTime
+-- Removed, because in base-4.6 this function has a different type.
+-- foreign import haskell "Directory.getModificationTime"
+--  getModificationTime :: String -> IO ClockTime
diff --git a/libraries/Directory.hx b/libraries/Directory.hx
--- a/libraries/Directory.hx
+++ b/libraries/Directory.hx
@@ -4,7 +4,6 @@
 (Var "doesFileExist",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False})
 (Var "getCurrentDirectory",Value {args = 0, fixity = Def, priority = 9, letBound = True, traced = False})
 (Var "getDirectoryContents",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False})
-(Var "getModificationTime",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False})
 (Var "getPermissions",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False})
 (Var "removeDirectory",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False})
 (Var "removeFile",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False})