Fix bug that assumes old file extension normalization

Remove code that assumes that file extensions are normalized.