137dac6f10
we had to add a call to glFinish() before glReadPixels() because of a bug in the GL ES driver of a certain device. This is not needed anymore.