Use old code-generator for menhir