proxy settings and Bluespec environment variables