INSTALL: proxy settings