most recent changes, diff for dvi2bitmap