I just compiled the `Christmas' version (from April) of MLton on a stock Red Hat 6.2 machine which is using glibc-2.1.3-15, and it seems to work perfectly. (I didn't do much, just made it and then compiled and ran the hello world example.)