Added hack for stupid gnome-terminal