[slime-devel] Patch for swank-allegro.lisp