Update device-proprietary-files.txt

See comments