use SBCL instead of CLISP