Fixed search for rocksdb under ubuntu 12 and 14