update this to work under petsc3.3 ... don't know about higher ... but see next commit
this was not needed in PISM tree ... removed