implemented FilePair.ensure*Header()