Update x86linux.c