GCC warning: non-virtual destructor