*** If copy-file is unable to set the date of the output file,<BR>
it now signals an error with the condition file-date-error.
<P>