push_to_deb_repo: precise leveldb kludge

Signed-off-by: Sage Weil <sage@inktank.com>