Try and fix install of ia32-libs