Re-adding gnome-terminal to menu.