[Carlos,nim] fixing the ssh wrapper script -- removing useless stuff.