configure-gnat-version-2digits.diff
