provide ext-gettext