History texlive-base-20180414-synctex-do-not-throw-no-file-error.patch