Revert "rm badfile"

This reverts commit 42056eb99240059a18ea8904736a97428f9505ff.