Wercker box for SBCL