Answering your original post, wouldn't it be easier and better to just use Guix' SBCL?