cpp: rename source_file back to file_info