[petsc-dev] Add PetscFree1() ?