getproxy.py fix