bin c'est a ni rien comprendre, tu as bien la référence du compilateur...
Essaye peut-être de re-nettoyer, de retélécharger et de ré-installer au cas où ?!
La je dois avouer que je sèche un peu.
Sinon tu peux essayer avec une version plus ancienne (la 7.4) la : https://download.foldingathome.org/relea..._amd64.deb
Edit : et dit moi si tu veux aussi le cotroleur.
Essaye peut-être de re-nettoyer, de retélécharger et de ré-installer au cas où ?!
La je dois avouer que je sèche un peu.
Sinon tu peux essayer avec une version plus ancienne (la 7.4) la : https://download.foldingathome.org/relea..._amd64.deb
Edit : et dit moi si tu veux aussi le cotroleur.