install menhirLib.cm[xio] as well