update to mlton-20210117-2, which covers x86_64-linux, x86_64-darwin, arm64-darwin;