add linux ia32 binaries