worked around a bug in boost::iostreams::filter::gzip.hpp where empty gzip files would not have their header written