I just tried running a binary compiled under Red Hat 7.2 using MLton under Red Hat 6.0, and as I rememberd, it fails. ldd reports /lib/libc.so.6: version `GLIBC_2.1.3' not found