Addded synctex