Add libbralloc.so to proprietary files