Makefile.global is generated and should not be
in the repository.