Fixes for 64-bit PETSc.