enable the thread destructor

src/tls_allocator.c

@@ -24,6 +24,6 @@ void get_tls_allocator(void) {
         }
         pthread_key_create(&destruction_key,
                 (void (*)(void *)) push_to_destructed_list);
-        pthread_setspecific(destruction_key, NULL);
+        pthread_setspecific(destruction_key, (void *) 1);
     }
 }