dest_file 3249 src/filemanager/file.c char *dest_file; dest_file 3251 src/filemanager/file.c dest_file = mc_build_filename (d, x_basename (path), (char *) NULL); dest_file 3252 src/filemanager/file.c return_status = copy_file_file (ctx, path, dest_file); dest_file 3253 src/filemanager/file.c g_free (dest_file);