make sure X509_USER_PROXY is defined #1144