Use leveldb library from Debian/Experimental as the PPA wasn't current enough