fix avl_destroy