made set-proxy.sh executable