Synctex and pdf ignore