use clbuild to invoke sbcl under linux