OpenGL core profile extension handling