diff --git a/paludis/bashrc b/paludis/bashrc
index f9be1de..61c0d63 100644
--- a/paludis/bashrc
+++ b/paludis/bashrc
@@ -206,6 +206,7 @@ if [[
 	"${CATEGORY}/${PN}" != "app-admin/haskell-updater" &&
 	"${CATEGORY}/${PN}" != "dev-lang/spidermonkey" &&
 	"${CATEGORY}/${PN}" != "games-strategy/liquidwar6" &&
+	"${CATEGORY}/${PN}" != "sci-mathematics/z3" &&
 	"${CATEGORY}" != "dev-haskell"
 	]]
 then