update smlnj path