Just tried with version 2.17.91-0ubuntu1 of gnome-terminal instead. Crashed with that version also. So is because of something else. -- gnome-terminal crashes when creating a new tab https://launchpad.net/bugs/88516