I have a different problem: every time I launch Evince to open a dvi file, it gives me a segmentation fault error. I tried reinstalling it, I tried Okular but Ubuntu does not let me install it ...