Fix readline in smlnj