[slime-devel] Re: duplicate output with slime from cvs and sbcl 0.9.11