[slime-devel] nightly build