diff --git a/Examples/Examples.hs b/Examples/Examples.hs
index 670046c..ce73632 100644
--- a/Examples/Examples.hs
+++ b/Examples/Examples.hs
@@ -10,8 +10,9 @@ module Examples ( examples ) where
 
 import qualified Prelude as P
 import Language.Copilot hiding (even, odd)
-import Copilot.Compile.C99
+--import Copilot.Compile.C99
 import qualified Copilot.Tools.CBMC as C
+
 --------------------------------------------------------------------------------
 
 --
diff --git a/Examples/Test.hs b/Examples/Test.hs
index 5c2d2ab..841ce57 100644
--- a/Examples/Test.hs
+++ b/Examples/Test.hs
@@ -6,7 +6,10 @@
 
 module Main where
 
-import System.Directory (removeDirectoryRecursive, doesDirectoryExist)
+import System.Directory ( removeDirectoryRecursive
+                        , doesDirectoryExist
+                        , doesFileExist
+                        , removeFile )
 import qualified Copilot.Compile.C99 as C99
 import qualified Copilot.Compile.SBV as SBV
 import Control.Monad (when)
@@ -99,5 +102,8 @@ cleanup = do
   when b0 (removeDirectoryRecursive SBV.sbvDirName)
   b1 <- doesDirectoryExist C99.c99DirName
   when b1 (removeDirectoryRecursive C99.c99DirName)
+  let cbmc = "cbmc_driver.c"
+  b2 <- doesFileExist cbmc
+  when b2 (removeFile cbmc)
 
 --------------------------------------------------------------------------------
diff --git a/copilot.cabal b/copilot.cabal
index 3d7f86a..6925717 100644
--- a/copilot.cabal
+++ b/copilot.cabal
@@ -48,6 +48,5 @@ executable copilot-regression
                    , copilot-sbv
                    , copilot-cbmc
                    , copilot-c99 >= 0.2
-
                    , directory >= 1.1
                    , random