Revert r31934: that MPI_Type_f2c.3 is already in the file list.