maint: ignore another gnulib generated file