Fix proprietary-files.txt

I don't know WTF haPPENED