remove dependency to menhir