Use leveldb 1.9.0 (Jan 2013).