[slime-devel] trouble updating slime from cvs