Update after changes in petsc-dev