set slime use sbcl by default