Fixes #1789. Fixed: bootstrap.sh wget fallback broken by 1789.