diff --git a/copilot-language.cabal b/copilot-language.cabal
--- a/copilot-language.cabal
+++ b/copilot-language.cabal
@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-language
-version:             0.9.1
+version:             2.1.1
 synopsis:            A Haskell-embedded DSL for monitoring hard real-time
                      distributed systems.
 description:
@@ -10,7 +10,7 @@
   Haskell that compiles into embedded C.  Copilot contains an interpreter,
   multiple back-end compilers, and other verification tools.  A tutorial, bug
   reports, and todos are available at
-  <https://github.com/niswegmann/copilot-discussion>.  
+  <https://github.com/leepike/copilot-discussion>.
   .
   Examples are available at
   <https://github.com/leepike/Copilot/tree/master/Examples>.
@@ -26,17 +26,17 @@
 
 source-repository head
     type:       git
-    location:   git://github.com/niswegmann/copilot-language.git
+    location:   git://github.com/leepike/copilot-language.git
 
 library
   default-language: Haskell2010
   hs-source-dirs: src
   build-depends: array
-               , base >= 4.0 && < 5
-               , containers >= 0.4 && < 1
+               , base >= 4.0 && <= 5.0
+               , containers >= 0.4
+               , mtl >= 2.0
                , data-reify >= 0.6
-               , mtl >= 2.0 && < 3
-               , ghc-prim >= 0.2 && < 0.3
+--               , ghc-prim,
                , copilot-core >= 0.1
   exposed-modules: Copilot
                  , Copilot.Language
@@ -72,4 +72,4 @@
     -trust containers
     -trust array
 
-    
+
diff --git a/src/Copilot/Language/Interpret.hs b/src/Copilot/Language/Interpret.hs
--- a/src/Copilot/Language/Interpret.hs
+++ b/src/Copilot/Language/Interpret.hs
@@ -2,7 +2,7 @@
 
 -- | The interpreter.
 
-{-# LANGUAGE Safe #-}
+{-# LANGUAGE Trustworthy #-} -- Copilot Core uses Data.Map in Containers.
 {-# LANGUAGE GADTs, FlexibleInstances #-}
 
 module Copilot.Language.Interpret