Use proxies when building; more to script