functions.sh: copy_file automatically set 'r' or 'rx' permission for all on target file, as appropriate.