add GCC allocator