Fix for gnome-terminal >3.7.0