petsc-dev change