encoding into unicode, because we might have a gettext_lazy thing at the other end