Rename proprietary-files.txt to device-proprietary-files.txt