The complicated magic for pacifying gnome-terminal 3.10