Removed old avl.h.