fix an overflow bug in the MPI implementation (merged to 7.8)

Conflicts:
	rts/parallel/MPIComm.c
  (from previous whitespace fixes)