00-gnulib-tool-version.patch
