Reference:
  Author: Takafumi Sakurai
  Title: dvi2dvi, Tweak DVI files
