ok daniel@, who provided the diff to update to menhir-20150921
commit the version of the fix from Francois Pottier (upstream maintainer).
and amd64 for now because it fails to build on non-native archs. ok sthen@, jca@, "looks good" avsm@