Renamed Linux binary to indicated 32-bit.