fix solarized-gnome-terminal name