Remove broken synctex setup