restoring file. I deleted too greedily and too deep.