Update menhir.