[Bug 980474] gnome-terminal occasionally segfaults