Add missing PoolAllocator class.