Update linux-ia32 binary