Where did main.tex go?