Fix wrong class from php54-leveldb