diff --git a/dist/build/verify-attribute-opsStub/verify-attribute-opsStub-tmp/verify-attribute-opsStub.hs b/dist/build/verify-attribute-opsStub/verify-attribute-opsStub-tmp/verify-attribute-opsStub.hs
deleted file mode 100644
--- a/dist/build/verify-attribute-opsStub/verify-attribute-opsStub-tmp/verify-attribute-opsStub.hs
+++ /dev/null
@@ -1,5 +0,0 @@
-module Main ( main ) where
-import Distribution.Simple.Test.LibV09 ( stubMain )
-import VerifyAttributeOps ( tests )
-main :: IO ()
-main = stubMain tests
diff --git a/dist/build/verify-crop-span-generationStub/verify-crop-span-generationStub-tmp/verify-crop-span-generationStub.hs b/dist/build/verify-crop-span-generationStub/verify-crop-span-generationStub-tmp/verify-crop-span-generationStub.hs
deleted file mode 100644
--- a/dist/build/verify-crop-span-generationStub/verify-crop-span-generationStub-tmp/verify-crop-span-generationStub.hs
+++ /dev/null
@@ -1,5 +0,0 @@
-module Main ( main ) where
-import Distribution.Simple.Test.LibV09 ( stubMain )
-import VerifyCropSpanGeneration ( tests )
-main :: IO ()
-main = stubMain tests
diff --git a/dist/build/verify-display-attributesStub/verify-display-attributesStub-tmp/verify-display-attributesStub.hs b/dist/build/verify-display-attributesStub/verify-display-attributesStub-tmp/verify-display-attributesStub.hs
deleted file mode 100644
--- a/dist/build/verify-display-attributesStub/verify-display-attributesStub-tmp/verify-display-attributesStub.hs
+++ /dev/null
@@ -1,5 +0,0 @@
-module Main ( main ) where
-import Distribution.Simple.Test.LibV09 ( stubMain )
-import VerifyDisplayAttributes ( tests )
-main :: IO ()
-main = stubMain tests
diff --git a/dist/build/verify-empty-image-propsStub/verify-empty-image-propsStub-tmp/verify-empty-image-propsStub.hs b/dist/build/verify-empty-image-propsStub/verify-empty-image-propsStub-tmp/verify-empty-image-propsStub.hs
deleted file mode 100644
--- a/dist/build/verify-empty-image-propsStub/verify-empty-image-propsStub-tmp/verify-empty-image-propsStub.hs
+++ /dev/null
@@ -1,5 +0,0 @@
-module Main ( main ) where
-import Distribution.Simple.Test.LibV09 ( stubMain )
-import VerifyEmptyImageProps ( tests )
-main :: IO ()
-main = stubMain tests
diff --git a/dist/build/verify-eval-terminfo-capsStub/verify-eval-terminfo-capsStub-tmp/verify-eval-terminfo-capsStub.hs b/dist/build/verify-eval-terminfo-capsStub/verify-eval-terminfo-capsStub-tmp/verify-eval-terminfo-capsStub.hs
deleted file mode 100644
--- a/dist/build/verify-eval-terminfo-capsStub/verify-eval-terminfo-capsStub-tmp/verify-eval-terminfo-capsStub.hs
+++ /dev/null
@@ -1,5 +0,0 @@
-module Main ( main ) where
-import Distribution.Simple.Test.LibV09 ( stubMain )
-import VerifyEvalTerminfoCaps ( tests )
-main :: IO ()
-main = stubMain tests
diff --git a/dist/build/verify-image-opsStub/verify-image-opsStub-tmp/verify-image-opsStub.hs b/dist/build/verify-image-opsStub/verify-image-opsStub-tmp/verify-image-opsStub.hs
deleted file mode 100644
--- a/dist/build/verify-image-opsStub/verify-image-opsStub-tmp/verify-image-opsStub.hs
+++ /dev/null
@@ -1,5 +0,0 @@
-module Main ( main ) where
-import Distribution.Simple.Test.LibV09 ( stubMain )
-import VerifyImageOps ( tests )
-main :: IO ()
-main = stubMain tests
diff --git a/dist/build/verify-image-transStub/verify-image-transStub-tmp/verify-image-transStub.hs b/dist/build/verify-image-transStub/verify-image-transStub-tmp/verify-image-transStub.hs
deleted file mode 100644
--- a/dist/build/verify-image-transStub/verify-image-transStub-tmp/verify-image-transStub.hs
+++ /dev/null
@@ -1,5 +0,0 @@
-module Main ( main ) where
-import Distribution.Simple.Test.LibV09 ( stubMain )
-import VerifyImageTrans ( tests )
-main :: IO ()
-main = stubMain tests
diff --git a/dist/build/verify-inlineStub/verify-inlineStub-tmp/verify-inlineStub.hs b/dist/build/verify-inlineStub/verify-inlineStub-tmp/verify-inlineStub.hs
deleted file mode 100644
--- a/dist/build/verify-inlineStub/verify-inlineStub-tmp/verify-inlineStub.hs
+++ /dev/null
@@ -1,5 +0,0 @@
-module Main ( main ) where
-import Distribution.Simple.Test.LibV09 ( stubMain )
-import VerifyInline ( tests )
-main :: IO ()
-main = stubMain tests
diff --git a/dist/build/verify-layers-span-generationStub/verify-layers-span-generationStub-tmp/verify-layers-span-generationStub.hs b/dist/build/verify-layers-span-generationStub/verify-layers-span-generationStub-tmp/verify-layers-span-generationStub.hs
deleted file mode 100644
--- a/dist/build/verify-layers-span-generationStub/verify-layers-span-generationStub-tmp/verify-layers-span-generationStub.hs
+++ /dev/null
@@ -1,5 +0,0 @@
-module Main ( main ) where
-import Distribution.Simple.Test.LibV09 ( stubMain )
-import VerifyLayersSpanGeneration ( tests )
-main :: IO ()
-main = stubMain tests
diff --git a/dist/build/verify-parse-terminfo-capsStub/verify-parse-terminfo-capsStub-tmp/verify-parse-terminfo-capsStub.hs b/dist/build/verify-parse-terminfo-capsStub/verify-parse-terminfo-capsStub-tmp/verify-parse-terminfo-capsStub.hs
deleted file mode 100644
--- a/dist/build/verify-parse-terminfo-capsStub/verify-parse-terminfo-capsStub-tmp/verify-parse-terminfo-capsStub.hs
+++ /dev/null
@@ -1,5 +0,0 @@
-module Main ( main ) where
-import Distribution.Simple.Test.LibV09 ( stubMain )
-import VerifyParseTerminfoCaps ( tests )
-main :: IO ()
-main = stubMain tests
diff --git a/dist/build/verify-simple-span-generationStub/verify-simple-span-generationStub-tmp/verify-simple-span-generationStub.hs b/dist/build/verify-simple-span-generationStub/verify-simple-span-generationStub-tmp/verify-simple-span-generationStub.hs
deleted file mode 100644
--- a/dist/build/verify-simple-span-generationStub/verify-simple-span-generationStub-tmp/verify-simple-span-generationStub.hs
+++ /dev/null
@@ -1,5 +0,0 @@
-module Main ( main ) where
-import Distribution.Simple.Test.LibV09 ( stubMain )
-import VerifySimpleSpanGeneration ( tests )
-main :: IO ()
-main = stubMain tests
diff --git a/dist/build/verify-terminalStub/verify-terminalStub-tmp/verify-terminalStub.hs b/dist/build/verify-terminalStub/verify-terminalStub-tmp/verify-terminalStub.hs
deleted file mode 100644
--- a/dist/build/verify-terminalStub/verify-terminalStub-tmp/verify-terminalStub.hs
+++ /dev/null
@@ -1,5 +0,0 @@
-module Main ( main ) where
-import Distribution.Simple.Test.LibV09 ( stubMain )
-import VerifyOutput ( tests )
-main :: IO ()
-main = stubMain tests
diff --git a/dist/build/verify-using-mock-terminalStub/verify-using-mock-terminalStub-tmp/verify-using-mock-terminalStub.hs b/dist/build/verify-using-mock-terminalStub/verify-using-mock-terminalStub-tmp/verify-using-mock-terminalStub.hs
deleted file mode 100644
--- a/dist/build/verify-using-mock-terminalStub/verify-using-mock-terminalStub-tmp/verify-using-mock-terminalStub.hs
+++ /dev/null
@@ -1,5 +0,0 @@
-module Main ( main ) where
-import Distribution.Simple.Test.LibV09 ( stubMain )
-import VerifyUsingMockTerminal ( tests )
-main :: IO ()
-main = stubMain tests
diff --git a/dist/build/verify-utf8-widthStub/verify-utf8-widthStub-tmp/verify-utf8-widthStub.hs b/dist/build/verify-utf8-widthStub/verify-utf8-widthStub-tmp/verify-utf8-widthStub.hs
deleted file mode 100644
--- a/dist/build/verify-utf8-widthStub/verify-utf8-widthStub-tmp/verify-utf8-widthStub.hs
+++ /dev/null
@@ -1,5 +0,0 @@
-module Main ( main ) where
-import Distribution.Simple.Test.LibV09 ( stubMain )
-import VerifyUtf8Width ( tests )
-main :: IO ()
-main = stubMain tests
diff --git a/vty.cabal b/vty.cabal
--- a/vty.cabal
+++ b/vty.cabal
@@ -1,5 +1,5 @@
 name:                vty
-version:             5.1.1
+version:             5.1.3
 license:             BSD3
 license-file:        LICENSE
 author:              AUTHORS
@@ -50,10 +50,10 @@
                        deepseq >= 1.1 && < 1.4,
                        directory,
                        filepath >= 1.0 && < 2.0,
-                       lens >= 3.9.0.2 && < 4.2,
+                       lens >= 3.9.0.2 && < 4.4,
                        -- required for nice installation with yi
                        hashable >= 1.2,
-                       mtl >= 1.1.1.0 && < 2.2,
+                       mtl >= 1.1.1.0 && < 2.3,
                        parallel >= 2.2 && < 3.3,
                        parsec >= 2 && < 4,
                        terminfo >= 0.3 && < 0.5,
@@ -128,7 +128,7 @@
                        containers,
                        data-default >= 0.5.3,
                        lens,
-                       mtl >= 1.1.1.0 && < 2.2
+                       mtl >= 1.1.1.0 && < 2.3
 
 test-suite verify-attribute-ops
   default-language:    Haskell2010
@@ -144,7 +144,7 @@
                        bytestring,
                        containers,
                        deepseq >= 1.1 && < 1.4,
-                       mtl >= 1.1.1.0 && < 2.2,
+                       mtl >= 1.1.1.0 && < 2.3,
                        text >= 0.11.3,
                        unix,
                        utf8-string >= 0.3 && < 0.4,
@@ -176,7 +176,7 @@
                        bytestring,
                        containers,
                        deepseq >= 1.1 && < 1.4,
-                       mtl >= 1.1.1.0 && < 2.2,
+                       mtl >= 1.1.1.0 && < 2.3,
                        text >= 0.11.3,
                        terminfo >= 0.3 && < 0.5,
                        unix,
@@ -209,7 +209,7 @@
                        bytestring,
                        containers,
                        deepseq >= 1.1 && < 1.4,
-                       mtl >= 1.1.1.0 && < 2.2,
+                       mtl >= 1.1.1.0 && < 2.3,
                        terminfo >= 0.3 && < 0.5,
                        text >= 0.11.3,
                        unix,
@@ -241,7 +241,7 @@
                        bytestring,
                        containers,
                        deepseq >= 1.1 && < 1.4,
-                       mtl >= 1.1.1.0 && < 2.2,
+                       mtl >= 1.1.1.0 && < 2.3,
                        text >= 0.11.3,
                        unix,
                        utf8-string >= 0.3 && < 0.4,
@@ -267,7 +267,7 @@
                        bytestring,
                        containers,
                        deepseq >= 1.1 && < 1.4,
-                       mtl >= 1.1.1.0 && < 2.2,
+                       mtl >= 1.1.1.0 && < 2.3,
                        text >= 0.11.3,
                        unix,
                        utf8-string >= 0.3 && < 0.4,
@@ -295,7 +295,7 @@
                        bytestring,
                        containers,
                        deepseq >= 1.1 && < 1.4,
-                       mtl >= 1.1.1.0 && < 2.2,
+                       mtl >= 1.1.1.0 && < 2.3,
                        terminfo >= 0.3 && < 0.5,
                        text >= 0.11.3,
                        unix,
@@ -324,7 +324,7 @@
                        bytestring,
                        containers,
                        deepseq >= 1.1 && < 1.4,
-                       mtl >= 1.1.1.0 && < 2.2,
+                       mtl >= 1.1.1.0 && < 2.3,
                        text >= 0.11.3,
                        unix,
                        utf8-string >= 0.3 && < 0.4,
@@ -352,7 +352,7 @@
                        bytestring,
                        containers,
                        deepseq >= 1.1 && < 1.4,
-                       mtl >= 1.1.1.0 && < 2.2,
+                       mtl >= 1.1.1.0 && < 2.3,
                        text >= 0.11.3,
                        unix,
                        utf8-string >= 0.3 && < 0.4,
@@ -379,7 +379,7 @@
                        bytestring,
                        containers,
                        deepseq >= 1.1 && < 1.4,
-                       mtl >= 1.1.1.0 && < 2.2,
+                       mtl >= 1.1.1.0 && < 2.3,
                        text >= 0.11.3,
                        unix,
                        utf8-string >= 0.3 && < 0.4,
@@ -407,7 +407,7 @@
                        bytestring,
                        containers,
                        deepseq >= 1.1 && < 1.4,
-                       mtl >= 1.1.1.0 && < 2.2,
+                       mtl >= 1.1.1.0 && < 2.3,
                        terminfo >= 0.3 && < 0.5,
                        text >= 0.11.3,
                        unix,
@@ -439,7 +439,7 @@
                        bytestring,
                        containers,
                        deepseq >= 1.1 && < 1.4,
-                       mtl >= 1.1.1.0 && < 2.2,
+                       mtl >= 1.1.1.0 && < 2.3,
                        text >= 0.11.3,
                        unix,
                        utf8-string >= 0.3 && < 0.4,
@@ -471,7 +471,7 @@
                        bytestring,
                        containers,
                        deepseq >= 1.1 && < 1.4,
-                       mtl >= 1.1.1.0 && < 2.2,
+                       mtl >= 1.1.1.0 && < 2.3,
                        text >= 0.11.3,
                        unix,
                        utf8-string >= 0.3 && < 0.4,
@@ -503,7 +503,7 @@
                        bytestring,
                        containers,
                        deepseq >= 1.1 && < 1.4,
-                       mtl >= 1.1.1.0 && < 2.2,
+                       mtl >= 1.1.1.0 && < 2.3,
                        text >= 0.11.3,
                        unix,
                        utf8-string >= 0.3 && < 0.4,
@@ -529,7 +529,7 @@
                        bytestring,
                        containers,
                        deepseq >= 1.1 && < 1.4,
-                       mtl >= 1.1.1.0 && < 2.2,
+                       mtl >= 1.1.1.0 && < 2.3,
                        text >= 0.11.3,
                        unix,
                        utf8-string >= 0.3 && < 0.4,
@@ -559,7 +559,7 @@
                        containers,
                        deepseq >= 1.1 && < 1.4,
                        lens >= 3.9.0.2 && < 5.0,
-                       mtl >= 1.1.1.0 && < 2.2,
+                       mtl >= 1.1.1.0 && < 2.3,
                        terminfo >= 0.3 && < 0.5,
                        text >= 0.11.3,
                        unix,
@@ -594,7 +594,7 @@
                        containers,
                        deepseq >= 1.1 && < 1.4,
                        lens >= 3.9.0.2 && < 5.0,
-                       mtl >= 1.1.1.0 && < 2.2,
+                       mtl >= 1.1.1.0 && < 2.3,
                        string-qq,
                        terminfo >= 0.3 && < 0.5,
                        text >= 0.11.3,
