Update futex.c