Added simple implementation for avl_destroy()
Fixup for c9d55cc9