> I changed it to: > > SML_LIB path to system-wide libaries, usually /usr/lib/mlton/sml Much clearer.