Fix upstream issue 200

Cherry-picked fix by Robert Escriva from
https://github.com/rescrv/HyperLevelDB/commit/e19fc0c34690be79dbf9f6102e9987c56125905f
Merge pull request #7 from jobi/fix-issue-200

Fix upstream issue 200