Fix typo in gsissh server configuration
UI: fix definition of X509_USER_PROXY to work both in csh and sh
VOBOX: do not define X509_USER_PROXY environment variable