Index: tools/clean
===================================================================
--- tools/clean	(revision 7fc2bec150eb1d5e021a646592e99e93dfb4fe7c)
+++ tools/clean	(revision 2d93f1f9242c39f6e8a125f6fc3f2297727f4f04)
@@ -1,3 +1,6 @@
 #! /bin/sh
+
+# Without Makefile.config the makefile does not work...
+touch Makefile.config
 
 ARCH="`basename "$0" | awk -F. '{ if (NF > 1) print \$NF }'`"