Removed dependency of $(TOP)/mk/config.mk on $(TOP)/config.status, resurrecting
"make distclean". I'm not 100% sure that the autoconf-related rules are correct,
"./config.status --recheck" in conjunction with make is a real brain-twister...