100755 blob cc2cd1fcd328ce09655c4b59d334828a320fb01a	build-rocksdb.sh
100755 blob bb076ea4610574da89eb06b180b96a8f23d2dcef	install.sh
100644 blob dc2c16d50dabe3281917b2ced67484545f3a55be	merge_vocabs.py