Mille grazie sono riuscito a scaricarlo, però ora non riesco a trovare il file che lancia il compilatore, come si chiama?