> 2) the binary does not run on our SuSe Linux machines. It complains with
> "Unable to run MLton"
Probably because he did a local installation, so setting
root='/usr/local/lib/mlton'
in the mlton script file is incorrect.
Compiling from source will fix it ('cause the Makefile updates the mlton
script with the correct root), but it's probably overkill.