ia32-libs substitution