[Boost-users] pool_allocator<void> not supported?