diff -r 5f222264bb54 -r 02b74bd4373f config/config.in
--- a/config/config.in	Tue Jan 12 21:09:30 2010 +0100
+++ b/config/config.in	Wed Mar 17 00:21:57 2010 +0100
@@ -6,6 +6,5 @@
 source config/cc.in
 source config/libc.in
 source config/debug.in
-source config/tools.in
 source config/companion_libs.in
 source config/companion_tools.in