ppx_poly_record.1.0.0 and some other fixes