Futex bug fixed