Fix regression from earlier extension case-sensitivity patch.