Fix for PetscInt != PetscErrorCode configurations