Allow a "make reconfigure" to continue, even if the Makefile changes.