Fix wrong class from php53-leveldb