Comment 55 for bug 232469

For people who want to build their own fixed package:

sudo apt-get install build-essential # get compiler etc
sudo apt-get build-dep gnome-terminal # get packages needed to build this package
mkdir /tmp/build # make some temp dir for build
cd /tmp/build # go there
apt-get source gnome-terminal # get debian source package (make sure you have source repositories enables)
cd gnome-terminal-*/src # go to package-source directory
wget http://launchpadlibrarian.net/40476531/terminal-screen.c.patch # get patch
patch -p0 < terminal-screen.c.patch # apply the patch
cd .. # go to main package directory
dpkg-buildpackage # build package

now you can for example:
sudo mv /usr/bin/gnome-terminal /usr/bin/gnome-terminal.orig
sudo mv /tmp/build/gnome-terminal-*/src/gnome-terminal /usr/bin/gnome-terminal