diff --git a/coqdeps_as_dot.hs b/coqdeps_as_dot.hs
index 32bad7f..7f6e1e0 100644
--- a/coqdeps_as_dot.hs
+++ b/coqdeps_as_dot.hs
@@ -8,7 +8,7 @@ none :: (a -> Bool) -> [a] -> Bool
 none p = all (not . p)
 
 hide :: [String]
-hide = words "util c_util"
+hide = words "util c_util list_util"
 
 main :: IO ()
 main = interact $ \s ->
diff --git a/examples/thermostat/visualization/show_deps.sh b/examples/thermostat/visualization/show_deps.sh
new file mode 100755
index 0000000..734ee95
--- /dev/null
+++ b/examples/thermostat/visualization/show_deps.sh
@@ -0,0 +1,2 @@
+#!/bin/sh
+coqdep -R . hybrid -I . -I examples/thermostat *.v examples/thermostat/*.v 2> /dev/null | runhaskell coqdeps_as_dot.hs | dot -Tpng > deps.png
diff --git a/make_deps_graph b/make_deps_graph
deleted file mode 100755
index c1fa09f..0000000
--- a/make_deps_graph
+++ /dev/null
@@ -1,2 +0,0 @@
-#!/bin/sh
-coqdep *.v -I . 2> /dev/null | runhaskell coqdeps_as_dot.hs | dot -Tpng > deps.png