fix issue #11

URL: https://github.com/facebook/rocksdb/issues/11