ml@gentoo.org Gentoo ML Project install a binary version (need to do this once to bootstrap, until smlnj is supported) mlton