GribCollections: save and restore list of MFiles (4)