delos3geur: update proprietary-files.txt