debian/0001-gettext-header.patch
