Hi would you please link the official mlton build statically against libgmp? my distribution does not install the ancient version the official build is linked against. ghc is also linked statically in the binary distribution, so it at least works everywhere.. I think the same could be done with mlton. Kind regards, Moritz Wilhelmy