Tweaked output of 'copy_file()': if copying to a new name, show the whole

destination path, otherwise show just the directory.