We will have to decide what to do for the next round of MLton RPMs. The latest Red Hat (7.0) uses a newer version of libc, so things compiled on it will not run under Red Hat 6.*.