fix up futex(), which turns out to be a moot exercise