[slime-devel] startup problem