Change to pull down all proprietary files

A bit of overkill, but they only need to be downloaded once. This is better than asking them
to connect their device or me having to parse the extract-files.sh (which sometimes has
a different name) and chancing bad builds.