Force leveldb installation as we lack the GPG key of the Debian archive