Garbage collection for info-ffi