Update device-proprietary-files.txt