GitHub #42: Update del~ to use allocator for buffer size changes