Dtor workaround added by octoploid.