Ideally we would run mkmakefile here, but that embeds its own
absolute filename, which we want to avoid for reproducibility.
However, all that's needed now is a single "include". The top-level
Makefile uses $(CURDIR) and its own filename from $(MAKEFILE_LIST)
to work out the rest.