there are now 32-bit generic linux binaries