diff --git a/build.sbt b/build.sbt
index 50a1bdc..d6aa19a 100644
--- a/build.sbt
+++ b/build.sbt
@@ -15,7 +15,14 @@ addCommandAlias("validate", ";validateJS;validateJVM")
 val gh = GitHubSettings(org = "non", proj = "alleycats", publishOrg = "org.typelevel", license = mit)
 val devs = Seq(Dev("Erik Osheim", "non"))
 
-val vers = typelevel.versions ++ alleycats.versions
+val updates = Map(
+  "macro-compat" -> "1.1.0",
+  "export-hook" -> "1.0.3-SNAPSHOT",
+  "simulacrum" -> "0.5.0-SNAPSHOT"
+)
+val updatesSettings = Seq( resolvers += Resolver.sonatypeRepo("snapshots"))
+
+val vers = typelevel.versions ++ alleycats.versions ++ updates
 val libs = typelevel.libraries ++ alleycats.libraries
 val addins = typelevel.scalacPlugins ++ alleycats.scalacPlugins
 val vAll = Versions(vers, libs, addins)
@@ -23,7 +30,7 @@ val vAll = Versions(vers, libs, addins)
 /**
  * alleycats - This is the root project that aggregates the alleycatsJVM and alleycatsJS sub projects
  */
-lazy val rootSettings = buildSettings ++ commonSettings ++ publishSettings ++ scoverageSettings
+lazy val rootSettings = buildSettings ++ commonSettings ++ publishSettings ++ scoverageSettings ++ updatesSettings
 
 lazy val module = mkModuleFactory(gh.proj, mkConfig(rootSettings, commonJvmSettings, commonJsSettings))
 lazy val prj = mkPrjFactory(rootSettings)
@@ -50,7 +57,7 @@ lazy val coreJVM = coreM.jvm
 lazy val coreJS  = coreM.js
 lazy val coreM   = module("core", CrossType.Pure)
   .settings(typelevel.macroCompatSettings(vAll):_*)
-  .settings(addLibs(vAll, "cats-core"):_*)
+  .settings(addLibs(vAll, "cats-core", "export-hook"):_*)
 
 /**
  * Laws project
@@ -85,7 +92,7 @@ lazy val commonSettings = sharedCommonSettings ++
   addCompilerPlugins(vAll, "kind-projector") ++ Seq(
   scalacOptions ++= scalacAllOptions,
   parallelExecution in Test := false
-) ++ warnUnusedImport ++ unidocCommonSettings
+) /* ++ warnUnusedImport */ ++ unidocCommonSettings // spurious warnings from macro annotations expected
 
 lazy val commonJsSettings = Seq(
   scalaJSStage in Global := FastOptStage