No matches were found for subject:"\[Bug 479777\] Re\: dvipdf messes up fonts in included eps figures in dvi files that used to work in jaunty"