Reduce duplication in the toplevel Makefile