Fixed a bug that caused underscores in filenames to look all funny
because they were processed in TeX by applying a noweave filter.