Fix casting problem in Tao solver for 64-bit PetscInt