deleted the .dvi file