Use the correct name of the profile, without modifiers

The SSH Manager used the modfiied names of the profiles
with the addition of "(Default)" for the profile names.
if you changed the default profile, everything would break.