Correct the --with-sbcl option.