changes to futex