Utilities for manipulating DVI files
