The *_destroy function expect to get a pointer
to a pointer, but it was getting just a simple
pointer, causing a memory leak and segfault
(but not a crash on my machine)