As per instructions from last comment, here's the original source file that caused the problem (obtained via wget).
As per instructions from last comment, here's the original source file that caused the problem (obtained via wget).