proprietary-files.txt: fix derp