Add gl.flush()

Fix a filter issue in my environment.