[slime-devel] Re: problem with slime in latest cvs