Fix in the GL extension detection code