fix proxy name
Merge pull request #1 from blanchonvincent/hotfix/proxy-name

Fix proxy name for windows user