fix up erroneous non-pdf LaTeX use