I just tried it again with mlton-1999-7-12.tgz, and that also seemed to work perfectly on Red Hat 6.2, which uses glibc-2.1.3-15.