also build the modified menhir