can you i18n these strings, using gettext?