32-bit binaries on 64-bit machines