extra/texlive-bin fix