Fix proxy configuration

Fix #638