modify proprietary-files.txt