MLton 20201002
RunningOnLinux
MLton runs fine on Linux.