Remove -SML.  Fix smoke.sh to use its equivalent. #866