woohoo, latex's utf8 input encoding is called utf8x.