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