don't use quicklisp for the default launch