diff --git a/app/Main.hs b/app/Main.hs
--- a/app/Main.hs
+++ b/app/Main.hs
@@ -62,7 +62,7 @@
     <> command "upgrade" (info (pure Upgrade) (progDesc "Upgrade to the latest version of atspkg"))
     <> command "valgrind" (info valgrind (progDesc "Run generated binaries through valgrind"))
     <> command "run" (info run' (progDesc "Run generated binaries"))
-    <> command "check" (info check' (progDesc "Check pkg.dhall file to ensure it is well-typed."))
+    <> command "check" (info check' (progDesc "Audit a package set to ensure it is well-typed."))
     <> command "list" (info (pure List) (progDesc "List available packages"))
     )
 
diff --git a/ats-pkg.cabal b/ats-pkg.cabal
--- a/ats-pkg.cabal
+++ b/ats-pkg.cabal
@@ -1,6 +1,6 @@
 cabal-version: 1.18
 name: ats-pkg
-version: 2.6.1.0
+version: 2.6.1.1
 license: BSD3
 license-file: LICENSE
 copyright: Copyright: (c) 2018 Vanessa McHale
diff --git a/man/atspkg.1 b/man/atspkg.1
--- a/man/atspkg.1
+++ b/man/atspkg.1
@@ -41,7 +41,7 @@
 .PP
 \f[B]run\f[] \- Run the generated binary
 .PP
-\f[B]check\f[] \- Check a pkg.dhall file to make sure it is well\-typed.
+\f[B]check\f[] \- Check a package set to make sure it is well\-typed.
 .PP
 \f[B]list\f[] \- List all available packages in current package set.
 .SH OPTIONS
diff --git a/src/Language/ATS/Package/Build/Cabal.hs b/src/Language/ATS/Package/Build/Cabal.hs
--- a/src/Language/ATS/Package/Build/Cabal.hs
+++ b/src/Language/ATS/Package/Build/Cabal.hs
@@ -34,6 +34,11 @@
 modifyLibrary libDir lib = let old = libBuildInfo lib
     in lib { libBuildInfo = modifyBuildInfo libDir old }
 
+writeDummyFile :: IO ()
+writeDummyFile =
+    writeFile "dist-newstyle/lib" ""
+
 cabalHooks :: UserHooks
 cabalHooks = let defConf = confHook simpleUserHooks
-    in simpleUserHooks { confHook = configureCabal .* defConf }
+    in simpleUserHooks { preConf = \_ _ -> writeDummyFile >> pure emptyHookedBuildInfo
+                       , confHook = configureCabal .* defConf }
diff --git a/src/Language/ATS/Package/Dhall.hs b/src/Language/ATS/Package/Dhall.hs
--- a/src/Language/ATS/Package/Dhall.hs
+++ b/src/Language/ATS/Package/Dhall.hs
@@ -1,13 +1,13 @@
 module Language.ATS.Package.Dhall ( checkPkg
                                   ) where
 
-import           Language.ATS.Package.Type
+import           Language.ATS.Package.PackageSet
 import           Quaalude
 
 checkPkg :: FilePath -- ^ Path to @pkg.dhall@ or similar.
          -> Bool -- ^ Whether to print detailed error messages.
-         -> IO ATSDependency
+         -> IO ATSPackageSet
 checkPkg path d = do
     x <- input auto (pack ('.' : '/' : path))
     let f = bool id detailed d
-    f (pure (x :: ATSDependency))
+    f (pure (x :: ATSPackageSet))