lyx-cjk, dvi viewers and ps viewers