write destroy_with_files