Using the big hammer to fix html output of weird file names