Repair gl_framebuffer.cpp