utf8x -> utf8 in latex header