MLton 20180207
RunningOnLinux
MLton runs fine on Linux.