This series fixes a case of GLX claiming to be available when it oughtn't. The mechanism for disabling an extension that's already called AddExtension is perhaps a bit gross, but it's better than clients dying. - ajax