[slime-devel] Patch to get ABCL working again