fixed double declaration of virtual destructors