Bugfix for int!=PetscInt configuraitons