slime-unification binary