fix link to proceedings.tex