Change of file format. Added an automatic file format upgrade feature.