Actually call initWithAllocator().