[PATCH 1/1] cmd: COPY should output file names as they are copied.