install custom version of menhir, as well