FileCopy.cc, FileCopy.h: add check for file size at EOF.