Do not delete this file! Upstream Git's Makefile is checking for the
existence of this file and sets some defines accordingly.