extract-files.sh: allow potentially different source and dest filenames
extract-files.sh: reformat
proprietary-blobs.txt: fix bootloop for good