Using glFinish() instead of glFlush() at PGL.endDraw()