melpa new address and fix toggle-proxy