Didn't we change *anything* in the produced file format since release 1.0?