proprietary-files.txt: clean up