No empty destructors unless you need them