Sync proprietary-files.txt and setup-makefiles.sh with canonical /vendor