Re: [boost] Boost.IOStreams mapped_file_sink missing flush() functionality