whoi_directory_tree