New files must be recorded in all_string_files