adapt hextree encoding option