use slime installed by quicklisp