Merge change 1651 into donut

* changes:
  Fix the build-toolchain.sh script which doesn't work due to the new download location of the NDK sources and a small typo when using wget. Also make --force-download actually work.