proprietary-files.txt: clean-up