documentation for copy_file