> "historic/systems/texlive/2017/". > Is this file available somewhere? I guess it is in the file texlive-20170524-texmf.tar.xz Have you checked it? Norbert -- PREINING Norbert http://www.preining.info Accelia Inc. + JAIST + TeX Live + Debian Developer GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13