Fix derped mkfiles due to stale proprietary-files.txt