anchor.diff:    ];
   
     hardeningDisable = [ "format" ];
  -
  -  postPatch = ''
  -    for i in texk/kpathsea/mktex*; do
  -      sed -i '/^mydir=/d' "$i"
  -    done
  -    cp -pv texk/web2c/pdftexdir/pdftoepdf{-poppler0.70.0,}.cc
  -    cp -pv texk/web2c/pdftexdir/pdftosrc{-newpoppler,}.cc
  -    # fix build with poppler 0.71
  -    find texk/web2c/{lua,pdf}texdir -type f | xargs sed -e 's|gTrue|true|g' -e 's|gFalse|false|g' -e 's|GBool|bool|g' -e 's|getCString|c_str|g' -i
  -  '';
   
     preConfigure = ''
       rm -r libs/{cairo,freetype2,gd,gmp,graphite2,harfbuzz,icu,libpaper,libpng} \
  
positive.code: core = stdenv.mkDerivation rec {
    name = "texlive-bin-${version}";
  
    inherit (common) src patches preAutoreconf postAutoreconf;
  
    outputs = [ "out" "doc" ];
  
  
negative.code:         sha256 = "1c4aq8lk8g3mlfq3mdjnxvmhss3qs7nni5rmw0k054dmj6q1xj5n";
        })
      ];
  
      postPatch = ''
        for i in texk/kpathsea/mktex*; do
          sed -i '/^mydir=/d' "$i"
        done
        cp -pv texk/web2c/pdftexdir/pdftoepdf{-poppler0.70.0,}.cc
        cp -pv texk/web2c/pdftexdir/pdftosrc{-newpoppler,}.cc
        # fix build with poppler 0.71
        find texk/web2c/{lua,pdf}texdir -type f | xargs sed -e 's|gTrue|true|g' -e 's|gFalse|false|g' -e 's|GBool|bool|g' -e 's|getCString|c_str|g' -i
      '';
  
      # remove when removing synctex-missing-header.patch
      preAutoreconf = "pushd texk/web2c";
      postAutoreconf = "popd";
  