file too large

external/z3/lib/libz3-so-64b (15811209 bytes) exceeds the storage limit; its content is not kept.