Update proprietary-files.txt

Missing .so extension for the libbralloc file or is the libbralloc a folder in the Corsica