more updates to mmap_allocator