Add file.copy, fixes #6440