Fix a mangled file