leveldb installation for ubuntu 12.04