This reverts commitdee01d019b. Thanks to505c318701("leak-detective: Try to properly free allocations after deinitialization") this is not required anymore.
This reverts commitdee01d019b. Thanks to505c318701("leak-detective: Try to properly free allocations after deinitialization") this is not required anymore.