Removing old patches for gnome-terminal