updated OpenGL requirements to 4.2