Make EnvTreeNode destructor virtual.