OpenGL extension to GTK