allora, ho fatto come tuo consiglio, cioè ho levato la libreria midi, dalla cartella arduino...ma il problema persiste...
dato che paoloP mi ha detto di instalalre il core 1.0, mi potete dire come posso installarlo, una volta scaricato??...scusate, ma non sono ancora molto pratico in linux!