HAVE_FUTEX_CMPXCHG del