Update "device-proprietary-files.txt"