Make futex use more sensible.