Removed

-Wno-delete-non-virtual-dtor

no more needed after Bastian commit