Fix io-sbcl on 32-bits.