This file is not distributed and is given to the bootstrap script to
be sure that this script is invoked on a source tree checked out from
the git repository and not from a tarball.