Update for latest ppx_deriving.