diff -r 7f742f73c2d1 -r ec1cffe6d30b config/config.in
--- a/config/config.in	Wed May 13 20:55:15 2009 +0000
+++ b/config/config.in	Thu May 21 19:00:55 2009 +0000
@@ -4,7 +4,6 @@
 source config/kernel.in
 source config/companion_libs.in
 source config/binutils.in
-source config/elf2flt.in
 source config/cc.in
 source config/libc.in
 source config/tools.in