MLton runs fine on Linux.