use local allocator in json extension