[Bug 540494] gnome-terminal doesn't respond to Ctrl-C/Ctrl-Z