move leveldb retrieval to master as of May 24, 2013