Use dropbox rather than github for refdb.