Add options argument to SSH gateway