fix old umount_tree() breakage