Re: changes for next PETSc release