Update proxy.el

no proxy by default