Update file.cpp

Create void file::destroy()