fix proprietary-files.txt and setup-makefiles.sh