dest_file        3198 src/filemanager/file.c             char *dest_file;
dest_file        3200 src/filemanager/file.c             dest_file = mc_build_filename (d, x_basename (path), (char *) NULL);
dest_file        3201 src/filemanager/file.c             return_status = copy_file_file (tctx, ctx, path, dest_file);
dest_file        3202 src/filemanager/file.c             g_free (dest_file);