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