modify the pool allocator to use mmap