pthread_key_delete wants the key itself, not a pointer to it