stellarium-icon ICON "stellarium.ico"