Update and rename proprietary-files.txt to device-proprietary-files.txt