use ia32-libs instead