fix up configration for slime for sbcl