Modest attempt at normalizing file extensions