Update proprietary-files.sh