fix proprietary-files.txt