ppb_graphics3d: call GL's Flush() before swapping buffers