Produce un file di output utilizzabile con il profiler di Strumenti per le prestazioni. Richiede l'impostazione di GenerateDebugInformation ...