Do not remove config.mk from top Makefile