gnome terminal icon as favicon