FileReader now has a destructor