Fixing a small bug that prevents people using proxies from downloading the appropriate binary