Add Win32 patch for GNOME bug #731996.