Fix filenames in headers of failure test cases