Fixed some renamed files in the proprietary-files.txt