fix treetop to version 1.5.1