\gdef\menhirversion{(unreleased)} % To be overridden.