Update ia32-libs.sh