Change backend for new SBCL
Add read-time conditioning for SBCL