add virtual destructors to satisfy gcc (breaks binary compat. with older versions)