fixing futex define