ignore .dvi