Added 32-bit linux binary