encode ssh username in gateway option