A few more PETSc 3.5 fixes