Allow recent versions of menhir