The missing things (__mpn_addmul_1 and __mpn_sub_n) is from the GNU MP library. This library gets built as part of the standard MLton build on Linux. I don't know how this would fail. Is this under Linux (I would guess from the mention of glibc that it is.) Did the link include libgmp.a?