opengl.org update 2013-07-08