smlnj config