clean up after move to OpenGL 3.2