Fix futex locking for linux