allowing for default ssh username (set in .ssh/config)