Case-insensitive treatment of file extensions