Deleted a weird auto-generated file.