Properly clean up the record, using the provided destructor