Http proxy configuration - running behind a corporate proxy

Hi - see #8650. For OS X it seems to be resolved with Beta 13.