It appears that MLton generates binaries in OS X that dynamically link to a hard-wired path for libgmp.3.dylib. Is there a way to remove this hard-wiring so that it'll work on any machine that has libgmp available anywhere in the standard search path? Thanks, Dave