SBCL: Disable readtable normalization.