Ciao, qualcuno sa indicarmi se c'è qualche programma per linux che trasforma i file midi in mp3... Grazie