Correct serious flaw in the top-level Makefile.