Diff ppxlib-0.22.0-r3 with a ppxlib-0.22.2-r2

Thank you!