patrick@gentoo.org Patrick Lauer google/leveldb https://github.com/google/leveldb/issues