[slime-devel] Re: abcl problem and workaround