Brought converters of old-style files up to date.  Seems to work.