sync::deque: port to the new allocator API