Update make_destructor