* mpicoder.c (mpi_read): Fix minor bug in reading a zero-length MPI