Package to patch .dvi files