Delete top.tex~