Change makefile name from RocksDB to RocksDB/RocksDB to prevent runtime error
Merge pull request #2 from paxos/master

Change makefile name from RocksDB to RocksDB/RocksDB to prevent runtime ...