Opengl extensions for gtk2