#6201 bad file