riparare il file di dump della memoria