Use Clisp if SBCL is not available