remove menhir dependency