proprietary-files.txt: Adapt proprietary vendor changes