Add virtual destructor to file_stream