diff -r c2d0b8c87386 -r dd72fa745318 config/config.in
--- a/config/config.in	Sun Aug 30 19:34:08 2009 +0200
+++ b/config/config.in	Tue Jan 12 21:47:36 2010 +0000
@@ -8,3 +8,4 @@
 source config/debug.in
 source config/tools.in
 source config/companion_libs.in
+source config/companion_tools.in