Fix build_deps.sh to build RocksDB properly