diff --git a/copilot.cabal b/copilot.cabal
--- a/copilot.cabal
+++ b/copilot.cabal
@@ -1,5 +1,5 @@
 name:                copilot
-version:             2.0.8
+version:             2.0.9
 cabal-version:       >= 1.10
 license:             BSD3
 license-file:        LICENSE
diff --git a/src/Language/Copilot.hs b/src/Language/Copilot.hs
--- a/src/Language/Copilot.hs
+++ b/src/Language/Copilot.hs
@@ -9,14 +9,14 @@
   -- , module Copilot.Compile.SBV
 
   -- Libraries
-  , module Copilot.Library.Clocks
-  , module Copilot.Library.LTL
-  , module Copilot.Library.PTLTL
-  , module Copilot.Library.Statistics
-  , module Copilot.Library.RegExp
-  , module Copilot.Library.Utils
-  , module Copilot.Library.Voting
-  , module Copilot.Library.Stacks
+  , module Copilot.Library.Libraries
+  -- , module Copilot.Library.LTL
+  -- , module Copilot.Library.PTLTL
+  -- , module Copilot.Library.Statistics
+  -- , module Copilot.Library.RegExp
+  -- , module Copilot.Library.Utils
+  -- , module Copilot.Library.Voting
+  -- , module Copilot.Library.Stacks
   ) where
 
 import Copilot.Language
@@ -28,12 +28,13 @@
 -- import Copilot.Compile.SBV
 
 -- Libraries
-import Copilot.Library.Clocks
-import Copilot.Library.LTL
-import Copilot.Library.PTLTL
-import Copilot.Library.Statistics
-import Copilot.Library.RegExp
-import Copilot.Library.Utils
-import Copilot.Library.Voting
-import Copilot.Library.Stacks
+import Copilot.Library.Libraries
+-- import Copilot.Library.Clocks
+-- import Copilot.Library.LTL
+-- import Copilot.Library.PTLTL
+-- import Copilot.Library.Statistics
+-- import Copilot.Library.RegExp
+-- import Copilot.Library.Utils
+-- import Copilot.Library.Voting
+-- import Copilot.Library.Stacks