Switching to menhir's built-in extensions