Got the new state file format working.