[slime-devel] Problems with cvs slime