Remove redundant extract-files.sh and proprietary-files.txt