Tidy up gnome terminal setup script