hexinfo: Disabled warning for delete-non-virtual-dtor