Deixe-me responder minha pergunta.
-
Faça o download do pacote fonte do terminal gnome
apt-get source gnome-terminal
-
Instale as dependências de construção necessárias para o gnome-terminal
sudo apt-get build-dep gnome-terminal
-
Anule a alteração abaixo
-
Reempacote o código-fonte
tar zcf gnome-terminal_3.14.2.orig.tar.gz gnome-terminal-3.14.2
-
Criar novo pacote de terminal gnome
debuild -b
-
Instale o novo pacote gnome-terminal
sudo dpkg -i gnome-terminal_xxx.deb