A DVI to PostScript translator + Japanese patch