can't use ocamlfind -destdir for menhir install
It's currently impossible to install the menhir library somewhere else than the default location of ocamlfind. The attached file destdir.diff makes this possible by setting DESTDIR when calling make install.