This works enough of the time, but is a bit of a poor decision. We should instead leave it up to SSH to decide, so users can choose their SSH usernames in an SSH config file.