BIN=/usr/local/bin SMLBIN=/usr/local/sml/bin PLATFORM=x86-linux