ffmpeg: clean up http-gzip patch