ma non bisogna modificare anche il file machine.config ??