Fix up stale proprietary-files.txt