Arduino Leonardo problème de compilation/uploading sous linux

Il y a une discussion à ce sujet sur le site de développement de l'IDE arduino
http://code.google.com/p/arduino/issues/list
Issue 14

Je n'ai pas compris si une décision a été prise.
Si Rx/Tx sont toujours fournies par l'IDE arduino dans la version Linuxarduino elles devraient être "cohérentes" avec le reste de l'IDE chargé chez arduino.
Si elles ne sont plus fournies c'est à partir de ta distribution que tu dois les mettre à jour.

Excuse moi si tu as déjà donné la réponse mais quelle est ta distribution ?