Descobri isso sozinho. Na verdade é muito simples!
Primeiro, pare o Drobpox. Isso pode ser feito facilmente, digitando o seguinte comando do terminal:
dropbox stop
Agora faça o download do seguinte arquivo .zip: link Ou: obtenha a mais recente, se ela existir, até o momento em que você ler isso.
O conteúdo desse arquivo .zip deve ficar assim, contendo apenas a pasta .dropbox-dist
Agora, basta extrair esse arquivo .zip para sua pasta pessoal. Você será solicitado a mesclar a pasta existente com a nova. Faça isso e confirme todos os pedidos de substituição.
Agora, basta iniciar o Dropbox novamente, o que é feito facilmente por:
dropbox start
Aproveite!