Yikes: there is code in the MLton executable to generate dot files? Seems a bit excessive, although it is probably dinky.