prio_tree: remove