Restoring a file destroyed by mistake