inserimento della variabile di compilazione GCOVFLAG per la generazione
dei dati di code coverage.