Unused file to keep directory build-aux in the git source tree - do not remove