on the hazards of file extensions