Adapt to latest ppx_deriving.