export-to-git: Make sure we are in the master source directory. (In case
we are running this from another source location.)