[PATCH 13 of 31] Gzip filter: handle empty flush buffers