[slime-devel] abcl problem and workaround