Ma i sorgenti sono quelli che hai scaricato? Se si, sono quelli usati per crere il binario, ...è un tuo scrupolo o c'è qualcosa di tecnico che mi sfugge?
Lo chiedo solo per organizzare le prossime release, di certo ne devo fare una a brevissimo, mi serve per far funzionare correttamente il plugin che sto scrivendo.
p.s.
Ma quel pacchetto .deb si potrà distribuire da GitHub?