Explicitly set the user option for ssh connections

Fixes #7170