update nolib_linux_ia32.c
update nolib_linux_ia32.c