json.dump the file_map