Allow compilation of index.agda under 2.3.2.2