gawk: Remove now-unneeded Cygwin patch.