build for 32-bit Linux broken

The build for 32-bit Linux does not work. I need this for testing (see clean-libraries#1 (closed)).