Diff virtualgl-3.1-r1 with a virtualgl-3.1.2

Thank you!