You could apply the patch by hand. Make a backup copy of
wordpress/wp-includes/js/tinymce/tiny_mce_gzip.php
And go to line 131 and replace the line
if ((in_array('gzip', $encodings) || in_array('x-gzip', $encodings) || isset($_SERVER['---------------'])) && function_exists('ob_gzhandler') && !ini_get('zlib.output_compression')) {
With the changed line
if ((in_array('gzip', $encodings) || in_array('x-gzip', $encodings) || isset($_SERVER['---------------'])) && function_exists('ob_gzhandler') && !ini_get('zlib.output_compression') && get_settings('gzipcompression')) {
If it blows up due to a typo just put the backup copy back.