fix get_allocator