Fix Hyperleveldb; use git repo not tarball