It's gone almost everywhere else already, and will eventually make for
a nicer top-level Makefile.