cppclean: make some destructors virtual.