Fix utf8 encodings for jbovlaste latex export