update nolib_linux_ia32.c