Changes made for PETSc 3.5