fix repeated make distclean

The `Makefile.config` include can be conditional.