Index: tools/clean
===================================================================
--- tools/clean	(revision 7fc2bec150eb1d5e021a646592e99e93dfb4fe7c)
+++ tools/clean	(revision 090e7ea1fe8a56e570814939a40c95420d986405)
@@ -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 }'`"