Appropriate OpenGL context destruction