[slime-devel] patch for swank-sbcl.lisp