Ottima descrizione ma cercando indietro nella mia memoria non ricordo di aver fatto tutta questa procedura per far funzionare il mio usbTiny, saro' piu' fortunello! 
Scusate se forse non e' la sede ma rilancio con una domanda al volo: da shell come cavolo si fa a compilare un .pde?