folly: avoid ASAN-detected new[] vs "delete" mismatch