Closing this issue.

smlnj was added in commit f0adb870ac0ea70bf6fb7a68f8782833017342cd.