fix proprietary-files.txt

Change-Id: I29d1979add00e7db63e72609fca44f5be74f4794