add extract-files.sh proprietary-files.txt and setup-makefiles.sh