Don't pass a --profile to gnome-terminal if none was set