Fixups of GL extension detection