Add support for 32-bit SBCL