Stefan Muller

`make show-config` in the runtime dir reports ``` WITH_OPT_RUNTIME = true WITH_DBG_RUNTIME = true WITH_DPI_RUNTIME = true WITH_NPI_RUNTIME = false WITH_PIC_RUNTIME = false WITH_PIE_RUNTIME = false XCCFLAGS = -std=gnu11 XMFLAGS...

`/usr/local/bin/mlton` is the binary distribution of MLton 20210117 for glibc 2.23 and Ubuntu 16.04 found here: https://sourceforge.net/projects/mlton/files/mlton/20210117/mlton-20210117-1.amd64-linux-glibc2.23.tgz (I actually have glibc 2.27 and Ubuntu 18.04; would that matter? I suspect...