[Boost-users] [Boost.Iostreams] Question about gzip codec and dual_use filter