update clipper to 5.1.0, last revision before the API change