gnome2.vte: fix CVE-2012-2738 (just DOS)