Really fix -Wnon-virtual-dtor warnings; gcc needs the dtors to be