Another gettext hack.