fix for gnome-terminal launch error