Rereremove synctex