Added 32-bit Linux binary.