Fix hyperleveldb version