add --tree option to override the tree in the hal file