Handle Flump file format changes.

Old exports will continue to work.