Missing extension for recent OpenGL drivers