Fix sbcl-32.