add patch to (partially) fix header compression on Linux