Inserita riga per la scelta dell'interprete su linux