diff --git a/lambdabot-haskell-plugins.cabal b/lambdabot-haskell-plugins.cabal
--- a/lambdabot-haskell-plugins.cabal
+++ b/lambdabot-haskell-plugins.cabal
@@ -1,5 +1,5 @@
 name:                   lambdabot-haskell-plugins
-version:                5.1.0.2
+version:                5.1.0.3
 
 license:                GPL
 license-file:           LICENSE
diff --git a/src/Lambdabot/Plugin/Haskell/Eval.hs b/src/Lambdabot/Plugin/Haskell/Eval.hs
--- a/src/Lambdabot/Plugin/Haskell/Eval.hs
+++ b/src/Lambdabot/Plugin/Haskell/Eval.hs
@@ -141,6 +141,11 @@
         trusted = Hs.name "Trustworthy"
         langs = concat [ ls | Hs.LanguagePragma ls <- pragmas ]
 
+moveFile :: FilePath -> FilePath -> IO ()
+moveFile from to = do
+  copyFile from to
+  removeFile from
+
 -- It parses. then add it to a temporary L.hs and typecheck
 comp :: MonadLB m => Hs.Module -> m String
 comp src = do
@@ -167,7 +172,7 @@
                     return "Error."
                 | otherwise -> do
                     l <- lb (findLBFileForWriting "L.hs")
-                    io (renameFile ".L.hs" l)
+                    io (moveFile ".L.hs" l)
                     return "Defined."
         (ee,[]) -> return ee
         (_ ,ee) -> return ee
diff --git a/src/Lambdabot/Plugin/Haskell/Free/Expr.hs b/src/Lambdabot/Plugin/Haskell/Free/Expr.hs
--- a/src/Lambdabot/Plugin/Haskell/Free/Expr.hs
+++ b/src/Lambdabot/Plugin/Haskell/Free/Expr.hs
@@ -5,6 +5,8 @@
 import Lambdabot.Plugin.Haskell.Free.Type
 import Lambdabot.Plugin.Haskell.Free.Util
 
+import Prelude hiding ((<>))
+
 varInExpr :: Var -> Expr -> Bool
 varInExpr v (EBuiltin _)
     = False
diff --git a/src/Lambdabot/Plugin/Haskell/Free/Theorem.hs b/src/Lambdabot/Plugin/Haskell/Free/Theorem.hs
--- a/src/Lambdabot/Plugin/Haskell/Free/Theorem.hs
+++ b/src/Lambdabot/Plugin/Haskell/Free/Theorem.hs
@@ -6,6 +6,8 @@
 import Lambdabot.Plugin.Haskell.Free.Expr
 import Lambdabot.Plugin.Haskell.Free.Util
 
+import Prelude hiding ((<>))
+
 data Theorem
     = ThForall Var Type Theorem
     | ThImplies Theorem Theorem
diff --git a/src/Lambdabot/Plugin/Haskell/Free/Type.hs b/src/Lambdabot/Plugin/Haskell/Free/Type.hs
--- a/src/Lambdabot/Plugin/Haskell/Free/Type.hs
+++ b/src/Lambdabot/Plugin/Haskell/Free/Type.hs
@@ -6,6 +6,7 @@
 import Lambdabot.Plugin.Haskell.Free.Parse
 import Data.List
 import Lambdabot.Plugin.Haskell.Free.Util
+import Prelude hiding ((<>))
 
 type TyVar = String
 type TyName = String