Fix menhir configuration and meta install