32-bit binaries