Fix menhir.20130911 installation