Bonjour,
Le dépôt PPA a une vielle version de ART, le mieux est de compiler à la main sur les distributions Ubuntu.