RocksDB php (C++) extention