Switch to double buffering makes glReadPixel work in Linux