correct bugs in handling of voms proxies