More work on file_copy