DjiCore_DeInit segmentation fault

[biancabnd]

Hello, First of all, thank you for maintaining and upgrading this SDK! While using it, I found myself with the need of shutting down all modules cleanly and thus, using the DjiCore_DeInit() function. However, the node where I launch this simply dies when I call core deinit. I thought this could be something on my end, so I tried to force the same method on the C Samples you provide. The result I obtain is the following:

Am I missing something or do I need to do something else before calling DjiCore_DeInit()? How can I avoid having the segmentation fault each time I shut down the psdk application?

Thank you in advance.