Allow newer versions of treetop.