Espace/Set/file

Assign file names.

• header hdr_file _'137 _'137
• database db_file _'137 _'137
• opt_database optdb_file _'137 _'137
• detmap detmap_file _'137 _'137
• fit_input fit_file _'137 _'137
• output output_file _'137 _'137